source:
at-w96k/content/digarden/20210428014629-inria.org@
962709f
| Last change on this file since 962709f was 962709f, checked in by , on Apr 2, 2023 at 10:58:22 PM | |
|---|---|
|
|
| File size: 269 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.
