Repository navigation

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

Commits on Oct 29, 2026
- Move the spec and proof modules and spec names under Json
  
  orda-aska
  and
  claude
  committed
  f56278b