content/digarden/pages/20210428014629-inria.org


1
2
3
4
5
6
7
8

:PROPERTIES:
:ID:       d6a86e27-a368-4b39-a2dd-54a131c2f629
:END:
#+title: INRIA
Французский институт, который создал:
- [[id:ab68624c-e88f-4fe4-94e9-d5de53f97358][Ocaml]]
- BigLoo
- [[id:182e1fdb-3dfe-4f7a-a680-603fca382b59][Coq]]