/lean-codespace

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

Primary LanguageLean

No issues in this repository yet.