Search Results - RepositoryStats

18

161

bsd-2-clause

13

Lecture notes for a short course on proving/programming in Coq via SSReflect.

coq mathcomp tutorial ssreflect hoare-logic dependent-types

Created 2014-05-20

437 commits to master branch, last one 3 years ago

20

126

other

11

Synthesis of Heap-Manipulating Programs from Separation Logic

smt scala hoare-logic separation-logic program-synthesis deductive-reasoning

Created 2017-08-22

1,308 commits to master branch, last one 2 years ago

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 11 days ago