DeepSpec/dsss17 DeepSpec/dsss17

  • Stars
    star
    86
  • Rank 382,193 (Top 8 %)
  • Language Coq
  • Created over 7 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DeepSpec/dsss17
github

DeepSpec

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lecture material for DeepSpec Summer School 2017

More Repositories

1

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
Coq
203
star
2

dsss18

Lecture material for DeepSpec Summer School 2018
HTML
68
star
3

sf

HTML
12
star