Skip to content

Move proof modules under Protobuf - #6

Merged
zero-aska merged 2 commits into
mainfrom
gpt-forge/library-owned-proofs
Oct 30, 2026
Merged

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

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

c61f11f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar