fix(proofs): give Agda a writable data directory; run each lane alone (WO 1.4) - #64

fix(proofs): give Agda a writable data directory; run each lane alone (WO 1.4)#64

hyperpolymath merged 1 commit into

mainhyperpolymath/mathesis:mainfrom

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