source:
content/digarden/pages/20210428014629-inria.org@
972a737
| Last change on this file since 972a737 was 972a737, checked in by , on Apr 16, 2023 at 5:54:55 PM | |
|---|---|
|
|
| File size: 265 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 | - BigLoo |
| 8 | - [[id:182e1fdb-3dfe-4f7a-a680-603fca382b59][Coq]] |
Note:
See TracBrowser
for help on using the repository browser.
