Javier
Burroni
Toggle navigation
about
publications
blog
cv
fin_cases
an archive of posts with this tag
Jul 7, 2025
Understanding the Suffices Tactic in Lean