Jon Eugster 17792e1a01 Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

..

LeftOvers

update to lean nightly 22-12-05

2022-12-12 11:13:02 +01:00

Logic

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Naturals

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Negation

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Level1.lean

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Level2.lean

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Level3.lean

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Level4.lean

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Level5.lean

Add Support for lemma statement.

2022-12-12 20:08:28 +01:00

Notes.txt

more levels

2022-12-05 11:40:44 +01:00

StatementTest.lean

first_levels

2022-11-29 17:11:17 +01:00