PhD in theoretical computer science (mathematical logic)
- Paris, France
- https://engboris.fr
Pinned Loading
-
superbol-studio-oss
superbol-studio-oss PublicForked from OCamlPro/superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
OCaml
-
gnucobol
gnucobol PublicForked from OCamlPro/gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
C
-
transcendental-syntax
transcendental-syntax PublicTechnical interpretation of Girard's transcendental syntax
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.