https://github.com/smimram/mini-tt

A simple type-theoretic language in OCaml: Mini-TT
https://github.com/smimram/mini-tt

mini-tt ocaml type-theory

Last synced: 2 months ago
JSON representation

A simple type-theoretic language in OCaml: Mini-TT

• Host: GitHub
• URL: https://github.com/smimram/mini-tt
• Owner: smimram
• Created: 2019-12-03T10:02:58.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2022-02-22T15:51:57.000Z (almost 3 years ago)
• Last Synced: 2024-04-20T00:53:58.615Z (9 months ago)
• Topics: mini-tt, ocaml, type-theory
• Language: OCaml
• Homepage:
• Size: 20.5 KB
• Stars: 8
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project