1 result found Sort:

imdea-software
htt imdea-software
5
70
apache-2.0
8
Hoare Type Theory
coq hoare-logic linked-list type-system hoare-monads separation-logic
Created 2014-03-23
189 commits to master branch, last one 6 days ago