Teenager. Former OIer. Interested in CS, especially ITP/ATP and PLT.
Top Questions
proofassistants.stackexchange.com
Top Answers
No answers with score of 5 or more
Teenager. Former OIer. Interested in CS, especially ITP/ATP and PLT.