Sebastian Graf e639b66d62 chore: rename SpecTheorems.add to SpecTheorems.insert, add SpecProof.getProof (#12574) ... This PR renames `SpecTheorems.add` to `SpecTheorems.insert`		2026-02-19 07:04:27 +00:00
..
bench	chore: rename SpecTheorems.add to SpecTheorems.insert, add SpecProof.getProof (#12574)	2026-02-19 07:04:27 +00:00
bench-radar
compiler
elabissues
ir
lake	fix: lake: do not cache files already in the cache (#12537)	2026-02-18 02:36:54 +00:00
lean	feat: more reliable universe level inference in inductive/structure commands (#12514)	2026-02-18 23:46:12 +00:00
pkg	refactor: rename instance_reducible to implicit_reducible (#12567)	2026-02-18 22:19:16 +00:00
playground
plugin
simpperf
.gitignore
CMakeLists.txt
common.sh
lakefile.toml
lean-toolchain