source:
content/digarden/20210428014629-inria.org@
5a2b670
| Last change on this file since 5a2b670 was 5a2b670, checked in by , on Oct 6, 2022 at 12:37:40 PM | |
|---|---|
|
|
| File size: 314 bytes | |
| Line | |
|---|---|
| 1 | :PROPERTIES: |
| 2 | :ID: d6a86e27-a368-4b39-a2dd-54a131c2f629 |
| 3 | :END: |
| 4 | #+title: INRIA |
| 5 | Французский институт, который создал: |
| 6 | - [[id:ab68624c-e88f-4fe4-94e9-d5de53f97358][Ocaml]] |
| 7 | - [[id:299d915f-59a3-43f4-993f-5951c55cd573][BigLoo]] |
| 8 | - [[id:182e1fdb-3dfe-4f7a-a680-603fca382b59][Coq]] |
Note:
See TracBrowser
for help on using the repository browser.
