Geeks
javra
/
presentations
lean-related presentations
Primary Language
HTML
Apache License 2.0
Apache-2.0
presentations GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
2015/01/23:
lean-mode: emacs mode for Lean Theorem Prover