- ๐ Hi, I'm @julianmendez .
- ๐ I'm interested in logic, mathematics, and computer science.
- ๐ฑ I'm currently learning about proof checkers.
- ๐๏ธ I'm looking to collaborate on ethics and artificial intelligence.
- ๐ซ How to reach me : https://www.umu.se/en/staff/julian-mendez/
julianmendez / broad-coq-tutorial Goto Github PK
View Code? Open in Web Editor NEWThis project forked from codyroux/broad-coq-tutorial
Some unstructured notes concerning the Broad tutorial to take place in March 2020