ConfusedFormalizer
127
reputation
5
I'm currently fascinated by formal proofs and certification, but also generally interested in compiler design.