hoare-monads

There are 1 repository under hoare-monads topic.

imdea-software / htt
Hoare Type Theory
hoare-logic hoare-monads separation-logic coq linked-list type-system
Language:Coq 67
ilyasergey / htt
Hoare Type Theory
hoare-logic hoare-monads type-system coq linked-list separation-logic
Language:Coq 1
TyGuS / htt
Hoare Type Theory
separation-logic verification coq hoare-logic hoare-monads
Language:Coq 0