Twelf Tutorial and Twelf Encoding of MiniLang

Dockerfile Updated about 1 month ago 1 commits 7 stars
prism-dev|Mirror: jgaltidor/twelf_tutorial (⭐7)
about 1 month ago

About

Twelf Tutorial and Twelf Encoding of MiniLang

Readme
7 stars