Closed semorrison closed 8 months ago
This uses a Lean PR toolchain for testing against leanprover/lean4#2734.
Superseded by #83.
This uses a Lean PR toolchain for testing against leanprover/lean4#2734.