Skip to content

feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 seed#620

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/lucid-cray-4a22dp
Jun 21, 2026
Merged

feat(formal): stand up Coq formal/ track + mechanize the K-1 Wave-0 seed#620
hyperpolymath merged 1 commit into
mainfrom
claude/lucid-cray-4a22dp

feat(formal): stand up Coq `formal/` track + mechanize the K-1 Wave-0…

53b8a3e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar