- ๐ Hi, Iโm @shrishtrip
- ๐ Iโm interested in ML, AI, BlockChain...
- ๐ฑ Iโm currently learning app-development.
- ๐ซ How to reach me --> [email protected]
shrishtrip / sequent-proof-checker Goto Github PK
View Code? Open in Web Editor NEWSequent Proof Checker
License: GNU General Public License v3.0