Jon Eugster 87f943a08c levels: negation, nat-basics

2022-12-06 19:33:29 +01:00

..

L01_Rfl.lean

first_levels

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

L02_Rfl.lean

first_levels

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

L03_Assumption.lean

first_levels

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

L03b_Assumption.lean

first_levels

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

L04_Rewrite.lean

more levels. lake-packages

2022-12-06 11:14:24 +01:00

L05_Apply.lean

more levels

2022-12-01 15:57:55 +01:00

L05b_Apply.lean

wip

2022-12-01 14:04:20 +01:00

L05c_Apply.lean

small fixes

2022-12-01 16:37:24 +01:00

L06_Iff.lean

more levels. lake-packages

2022-12-06 11:14:24 +01:00

L06b_Iff.lean

small fixes

2022-12-01 16:37:24 +01:00

L06c_Iff.lean

more levels

2022-12-01 15:57:55 +01:00

L06d_Iff.lean

wip

2022-12-01 14:04:20 +01:00

L07_And.lean

more levels

2022-12-01 15:57:55 +01:00

L08_Or.lean

more levels. lake-packages

2022-12-06 11:14:24 +01:00

L08b_Or.lean

levels: negation, nat-basics

2022-12-06 19:33:29 +01:00

L08c_Or.lean

more levels

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

Lxx_Tauto.lean

more levels

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

Lxx_Tfae.lean

more levels

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