Points: 215
Tags: misc coq
Poll rating:
Prove you are worthy of a flag.
nc babykok.hackable.software 1337
I don't remember
