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
Pinned Loading
Repositories
Showing 8 of 8 repositories
- .github Public
standardocaml/.github’s past year of commit activity - LFLF Public
standardocaml/LFLF’s past year of commit activity - stelf-ts Public
standardocaml/stelf-ts’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…