htt

htt

https://github.com/imdea-software/htt

6 months ago

Hoare Type Theory

Search similar apps

License

Apache License 2.0

Share

Hoare Type Theory

Creator

imdea-software

Related apps

fcsl-pcm

Partial Commutative Monoids

Coq23apache-2.0

12 months ago

concurrencycoqcoq-library