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