fix(proofs): fail the proof gate on Admitted, sorry and postulate (WO 1.3) - #57

fix(proofs): fail the proof gate on Admitted, sorry and postulate (WO 1.3)#57

hyperpolymath merged 1 commit into

mainhyperpolymath/mathesis:mainfrom

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