aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Automatically generate the tutorial exercises from the solutions

Open sonmarcho opened this issue 5 months ago • 0 comments

Today we have two maintain two files for the Lean tutorial: this is an avoidable maintenance burden.

sonmarcho avatar Jun 05 '25 13:06 sonmarcho