Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

htt

Hoare Type Theory

Coq63apache-2.0

6 months ago

coqhoare-logichoare-monads

htt

Hoare Type Theory

Coq63apache-2.0

6 months ago

coqhoare-logichoare-monads