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