DeepSpec

Pinned Repositories

dsss17
Lecture material for DeepSpec Summer School 2017
Language:Coq86 22 014
dsss18
Lecture material for DeepSpec Summer School 2018
Language:HTML68 25 424
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq200 17 8951
sf
Language:HTML12 9 311

DeepSpec's Repositories

DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:Coq200 17 8951
DeepSpec/dsss17
Lecture material for DeepSpec Summer School 2017
Language:Coq86 22 014
DeepSpec/dsss18
Lecture material for DeepSpec Summer School 2018
Language:HTML68 25 424
DeepSpec/sf
Language:HTML12 9 311