Only relevant repositories are being shown, show unfiltered results.

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

Updated 5 months ago