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