lean2/examples/lean
Leonardo de Moura 048151487e feat(kernel): use Pi as forall/implication
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2014-01-08 00:38:39 -08:00
..
even.lean fix(examples/lean/even): use new name for distribute right theorem 2014-01-07 13:45:02 -08:00
ex1.lean chore(frontends/lean): rename setoption and setopaque commands to set::option and set::opaque 2014-01-06 11:41:03 -08:00
ex2.lean feat(kernel): use Pi as forall/implication 2014-01-08 00:38:39 -08:00
ex3.lean feat(kernel): use Pi as forall/implication 2014-01-08 00:38:39 -08:00
ex4.lean feat(*): change name conventions for Lean builtin libraries 2014-01-05 19:21:44 -08:00
ex5.lean feat(kernel): use Pi as forall/implication 2014-01-08 00:38:39 -08:00
set.lean feat(kernel): use Pi as forall/implication 2014-01-08 00:38:39 -08:00
tactic1.lean feat(*): change name conventions for Lean builtin libraries 2014-01-05 19:21:44 -08:00
tactic_in_lua.lean feat(kernel): use Pi as forall/implication 2014-01-08 00:38:39 -08:00