Antonio De Lucreziis aziis98

Questa repository contiene un semplice progetto in Lean che può essere lanciato con un click su GitHub CodeSpaces

Updated 7 months ago