lean2/library/standard/logic
2014-08-15 13:06:27 -07:00
..
axioms feat(library/standard/logic): add class nonempty 2014-08-15 12:58:58 -07:00
classes feat(library/standard/classes): add nonempty 2014-08-15 13:06:27 -07:00
connectives feat(library/standard/logic): add class nonempty 2014-08-15 12:58:58 -07:00
default.lean feat(library/standard): add classes for relations 2014-08-15 12:58:58 -07:00
logic.md feat(library/standard): add markdown documentation 2014-08-01 21:22:53 -07:00