-
Andrei Paskevich authored
- No more "and", "or", "implies", "iff", and "~". Use "/\", "\/", "->", "<->", and "not" instead. - No more "logic". Use "function" or "predicate".
aa2c430e
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
- No more "and", "or", "implies", "iff", and "~". Use "/\", "\/", "->", "<->", and "not" instead. - No more "logic". Use "function" or "predicate".