Skip to content

Formal gate: reject hidden/unregistered Lean declarations - #312

Open
d6g8k5htny-coder wants to merge 34 commits into
mainfrom
chatgpt/formal-admission-hardening-20261005
Open

Formal gate: reject hidden/unregistered Lean declarations#312
d6g8k5htny-coder wants to merge 34 commits into
mainfrom
chatgpt/formal-admission-hardening-20261005

Merge Math- main (7d63d08f) into chatgpt/formal-admission-hardening-2…

66d66e4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar