“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
-
Inria
- Paris
- https://www.irif.fr/~gallego/
- @ejgallego
- @CoqLang
Stars
0
results
for mirror starred repositories
written in HTML
Clear filter