feat(golden): just check runs the view checks and proof gates; handoff after stage 2 (WO 2.5) - #72

feat(golden): just check runs the view checks and proof gates; handoff after stage 2 (WO 2.5)#72

hyperpolymath merged 4 commits into

mainhyperpolymath/mathesis:mainfrom

marina/eager-dijkstra-wlmapghyperpolymath/mathesis:marina/eager-dijkstra-wlmapgCopy head branch name to clipboard