michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Mirror of https://github.com/leanprover/lean2 in case it ever disappears
2 commits 3 branches 0 tags 28 MiB
C++ 47.8%
Lean 41.8%
JetBrains MPS 5.4%
Emacs Lisp 2.1%
C 1%
Other 1.7%
Find a file
Leonardo de Moura 763b79e0aa Add basic .gitignore file 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-07-15 18:45:12 -07:00
src/util Add support files 2013-07-15 18:43:32 -07:00
.gitignore Add basic .gitignore file 2013-07-15 18:45:12 -07:00