ott

The Ott tool for writing definitions of programming languages and calculi

343 stars

15 watching

44 forks

Language: OCaml

last commit: 14 days ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq