This website requires JavaScript.
Explore
Help
Sign in
michael
/
lean2
Watch
1
Star
0
Fork
You've already forked lean2
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
23ddacad19
lean2
/
doc
/
lean
History
Leonardo de Moura
7262cce37a
fix(doc/lean): typos
2014-09-20 07:44:48 -07:00
..
calc.org
refactor(library): add 'eq' and 'ne' namespaces
2014-09-04 18:41:06 -07:00
declarations.org
fix(doc/lean): typos
2014-09-20 07:44:48 -07:00
expr.md
doc(README): add link to tutorial in the main page
2014-02-02 19:14:02 -08:00
lexical.md
doc(lean): add tutorial draft, and fix lexical documentation
2014-01-07 00:06:32 -08:00
reducible.org
fix(doc/lean): typos
2014-09-20 07:44:48 -07:00
test.sh
doc(doc/lean): expressions
2013-12-26 21:29:54 -08:00
test_single.sh
refactor(library): remove unnecessary 'standard' subdirectory
2014-08-23 18:08:09 -07:00
tutorial.org
refactor(library): add namespaces 'or', 'and' and 'iff'
2014-09-04 21:25:21 -07:00