Skip to content

Lean statement register: statement-only Mathlib specifications of the registered claims (171 claims, 150 declarations, zero theorems) - #419

Merged
d6g8k5htny-coder merged 4 commits into
mainfrom
claude/lean-specifications-20261010
Oct 12, 2026
Merged

Lean statement register: statement-only Mathlib specifications of the registered claims (171 claims, 150 declarations, zero theorems)#419
d6g8k5htny-coder merged 4 commits into
mainfrom
claude/lean-specifications-20261010

Merge current main into the frozen statement-only packet

ef56dca
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar