A theoretical computer scientist (aspiring logician) and translator with an interest in art.
My hobbies include drawing, reading, listening to music, and learning languages (Chinese, French and German).
I no longer appear plain; I always come outside with light makeup and a tailor-made outfit. It feels good to look nice.
I mostly code in Python, Rust, and Coq. I love CPP, C, assembly, and other similar languages.
I'm very fond of low-level programming.
p-ndr / weak-omega Goto Github PK
View Code? Open in Web Editor NEWAn implementation of lambda weak omega in Coq, with report.