Giters
DeepSpec

DeepSpec

Geek Repo

Github PK Tool:Github PK Tool

DeepSpec's repositories

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

Language:CoqLicense:MITStargazers:194Issues:17Issues:89

dsss17

Lecture material for DeepSpec Summer School 2017

Language:CoqStargazers:86Issues:22Issues:0

dsss18

Lecture material for DeepSpec Summer School 2018

Language:HTMLLicense:NOASSERTIONStargazers:68Issues:25Issues:4

sf

Language:HTMLStargazers:12Issues:9Issues:3