Leonardo de Moura 609d99e860 chore: include free variables (#11894) ... This PR includes free variable in a `simp` benchmark to stress the default `simp` matching procedure.		2026-01-04 18:51:18 +00:00
..
meta_simp_1.lean	chore: include free variables (#11894)	2026-01-04 18:51:18 +00:00
simp_1.lean	chore: include free variables (#11894)	2026-01-04 18:51:18 +00:00