- ๐ Hi, I am Mukesh Tiwari
- ๐ I am interested in formal verification (Coq theorem prover), election security, cryptography, and social choice theory.
- ๐ฑ Iโm currently learning ZKSNARK because I belive it can change the landscape of electronic voting.
- ๐๏ธ Iโm looking to collaborate on formal verification of cryptographic primitives, vote-counting algorithms.
- ๐ซ How to reach me [email protected]
mukeshtiwari / agda Goto Github PK
View Code? Open in Web Editor NEWCodes related to learning agda