Skip to content

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

Point the remaining Spec/Defs.lean references at SemVer/Spec/Defs.lean

82a8b31
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar