Dépôts de avigad
2 dépôts publics de avigad au catalogue, du plus étoilé au moins étoilé.
- avigad/mathematics_in_lean_sourceÉtoiles : 223LeanPrototype
- avigad/lamrÉtoiles : 120LeanPrototype
2 dépôts publics de avigad au catalogue, du plus étoilé au moins étoilé.