- ๐ Hi, Iโm @lgeorget, I've been told by GitHub to fill in this README.
- ๐ Iโm interested in formal methods, programming languages design, modeling and dataviz, system and network administration...
- ๐ฑ Iโm currently learning Haskell (for quite some time actually)
- ๐๏ธ Iโm looking to collaborate on some more exciting Symfony 5 stuff, if something shows up
- ๐ซ How to reach me: my email is in my profile, social networks I occasionnally do but not reliably
lgeorget / coquille Goto Github PK
View Code? Open in Web Editor NEWThis project forked from the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
License: ISC License