Skip to content
@DeepSpec

DeepSpec

Popular repositories Loading

  1. InteractionTrees InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    Coq 198 50

  2. dsss17 dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    Coq 86 14

  3. dsss18 dsss18 Public

    Lecture material for DeepSpec Summer School 2018

    HTML 68 24

  4. sf sf Public

    HTML 12 11

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Coq HTML

Most used topics

Loading…