aeneas
aeneas copied to clipboard

Published 20 hours ago •

Reame
Issues

Compiling Lean files breaks the CI

Open sonmarcho opened this issue 4 months ago • 0 comments

trafficstars

This is related to https://github.com/AeneasVerif/aeneas/pull/563

Jul 04 '25 16:07 sonmarcho