Leonardo de Moura 0e4794a1a9 test: benchmarks for lambda-telescopes (#11929)		2026-01-08 00:20:03 +00:00
..
meta_simp_1.lean	chore: include free variables (#11894)	2026-01-04 18:51:18 +00:00
meta_simp_2.lean	test: benchmarks for lambda-telescopes (#11929)	2026-01-08 00:20:03 +00:00
simp_1.lean	refactor: reorganize SymM and GrindM monad hierarchy (#11909)	2026-01-06 01:12:07 +00:00
simp_2.lean	test: benchmarks for lambda-telescopes (#11929)	2026-01-08 00:20:03 +00:00
simp_3.lean	test: benchmarks for have-telescopes (#11927)	2026-01-07 23:24:46 +00:00