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