lean2 /

.travis.osx.yml

.travis.windows.yml

.travis.yml

doc/authors.md

doc/coding_style.md

doc/commit_convention.md

doc/design.md

doc/lean/calc.md

doc/lean/expr.md

doc/lean/lexical.md

doc/lean/test.sh

doc/lean/test_single.sh

doc/lean/tutorial.md

doc/lua/lua.md

doc/lua/md2lua.sh

doc/lua/test.sh

doc/lua/test_single.sh

doc/lua/univ_poly.lua

doc/make/ccache.md

doc/make/cmake_make.md

doc/make/cmake_ninja.md

doc/make/coverage.md

doc/make/cygwin.md

doc/make/fedora-19.md

doc/make/osx-10.8.md

doc/make/split-stack.md

doc/make/travis.md

doc/make/ubuntu-12.04-detailed.md

doc/make/ubuntu-12.04.md

doc/todo.md

images/lean.png

library/extract_deps

library/hott/logic.lean

library/Makefile.common

library/standard/bit.lean

library/standard/funext.lean

library/standard/logic.lean

library/standard/Makefile

library/standard/num.lean

library/standard/option.lean

library/standard/standard.lean

library/standard/string.lean

library/standard/tactic.lean

library/standard/unit.lean

LICENSE

README.md

script/demangle_cpptype.py

script/doxygen.sh

script/dropbox_upload.py

script/hpc.sh

No matching file found