Skip to content

Draft: try the fully bundled approach

Michael Sammlerrequested to merge
fully_bundled into main

It currently gets stuck on some unification problem in Examples/State.lean

Merge request reports