“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
3
stars
written in TypeScript
Clear filter