Pinned Repositories
coq-of-python
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
1729
Computer-aided mathematics.
information-theory
Getting some intuition for information theoretic ideas.
logic-for-proofs-and-programs
Taken under Prof Danvy in AY23/24 Semester 2.
mechanised-reasoning
Programs written in Danvy's class.
proofs
Some random proofs I designed.
tfmsadhith's Repositories
tfmsadhith/1729
Computer-aided mathematics.
tfmsadhith/information-theory
Getting some intuition for information theoretic ideas.
tfmsadhith/logic-for-proofs-and-programs
Taken under Prof Danvy in AY23/24 Semester 2.
tfmsadhith/mechanised-reasoning
Programs written in Danvy's class.
tfmsadhith/proofs
Some random proofs I designed.