Skip to content

test(formal): add checked Lean core and pruning lemmas - #44

Draft
nichinichisou0609 wants to merge 2 commits into
mainfrom
formal/lean-core-20260929
Draft

test(formal): add checked Lean core and pruning lemmas#44
nichinichisou0609 wants to merge 2 commits into
mainfrom
formal/lean-core-20260929

Commits

  1. Commits on Sep 29, 2026