aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

could you bump the version to 4.25.0-rc2 (current mathlib one)?

Open alok opened this issue 2 weeks ago • 1 comments

there's been a bunch of improvements to grind lately and i wanted to try it on some aeneas generated code

alok avatar Nov 13 '25 09:11 alok