Skip to content

Move proof modules under Json - #5

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

Move proof modules under Json#5
zero-aska merged 1 commit into
mainfrom
gpt-forge/library-owned-proofs

Move the spec and proof modules and spec names under Json

f56278b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar