Repository navigation

Move proof modules under SemVer - #6

Merged

zero-aska merged 2 commits into

mainfrom

gpt-forge/library-owned-proofs

Oct 30, 2026

Merged

Move proof modules under SemVer#6
zero-aska merged 2 commits into
mainfrom
gpt-forge/library-owned-proofs

Commits on Oct 29, 2026
- Move proof modules and spec names under SemVer
  
  ahrazzle
  authored and
  orda-aska
  committed
  1ddbd61
- Point the remaining Spec/Defs.lean references at SemVer/Spec/Defs.lean
  
  orda-aska
  and
  claude
  committed
  82a8b31