htt

Hoare Type Theory

GitHub
69 stars
9 watching
5 forks
Language: Coq
last commit: 12 days ago
Linked from 2 awesome lists

coqhoare-logichoare-monadslinked-listseparation-logictype-system

Backlinks from these awesome lists: