5 Commits

Author SHA1 Message Date
Jon Eugster
46dbb0e7f6 fix escaped backspaces 2024-03-11 19:10:20 +01:00
Kevin Buzzard
56010d0b43 LemmaTab -> TheoremTab 2024-01-24 15:42:41 +00:00
Pietro Monticone
e940b00253 Update Level_7.lean 2023-10-26 17:46:50 +02:00
Pietro Monticone
22f1e99727 Update Level_3.lean 2023-10-26 17:46:02 +02:00
Kevin Buzzard
20bc9fe61d move all WIP files to level-rewrite branch 2023-10-14 19:57:20 +01:00