Skip to content

feat(proofs): complete XP-1 Rocq & Lean 4 recheck witnesses (Grade 2i) and harden proof gates - #133

Merged
hyperpolymath merged 8 commits into
mainfrom
arena/b974ff80-nextgen-typing
Nov 3, 2026
Merged

feat(proofs): complete XP-1 Rocq & Lean 4 recheck witnesses (Grade 2i) and harden proof gates#133
hyperpolymath merged 8 commits into
mainfrom
arena/b974ff80-nextgen-typing

docs(proofs): document EchoTyping definitions and clarify proof scann…

b30e40d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar