tfmsadhith

Interested in recreational mathematics.

Singapore

Pinned Repositories

coq-of-python
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
Language:Coq30 1 150
concrete-math
Formal proofs of some exercises from tACoP Mathematical Preliminaries and Concrete Mathematics.
Language:Coq00
on_two_problems
My final project on formal proofs from elementary number theory.
Language:Coq00
tfmsadhith.github.io
Personal website.
Language:HTML00

tfmsadhith's Repositories

tfmsadhith/concrete-math
Formal proofs of some exercises from tACoP Mathematical Preliminaries and Concrete Mathematics.
Language:Coq00
tfmsadhith/on_two_problems
My final project on formal proofs from elementary number theory.
Language:Coq00
tfmsadhith/tfmsadhith.github.io
Personal website.
Language:HTML00