Releases: wigginslab/min-bench
Releases · wigginslab/min-bench
Initial Beta Release for LeanWorkbench.
This is the initial beta release for LeanWorkbench. This version will be tested by TFP, ASCENT fellows and also by the developers of LeanWorkbench (in-house testing).