This is the STELF project a continuation of the Twelf project (which uses the λΠ-calculus) into OCaml. More information can be found on the website.
For the Twelf project, see here
Pinned Loading
Repositories
Showing 9 of 9 repositories
- .github Public
standardocaml/.github’s past year of commit activity - stelf-toml Public
standardocaml/stelf-toml’s past year of commit activity - tree-sitter-stelf Public
standardocaml/tree-sitter-stelf’s past year of commit activity - LFLF Public
standardocaml/LFLF’s past year of commit activity - basis Public
standardocaml/basis’s past year of commit activity - shibboleth Public
standardocaml/shibboleth’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…