Skip to content
@DeepSpec

DeepSpec

Popular repositories Loading

  1. InteractionTrees InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    Rocq Prover 249 59

  2. dsss17 dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    Coq 90 15

  3. dsss18 dsss18 Public

    Lecture material for DeepSpec Summer School 2018

    HTML 68 24

  4. sf sf Public

    HTML 15 13

Repositories

Showing 4 of 4 repositories
  • sf Public
    HTML 15 13 1 3 Updated Mar 9, 2026
  • InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    Rocq Prover 249 MIT 59 22 (2 issues need help) 9 Updated Jan 22, 2026
  • dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    Coq 90 15 0 0 Updated Aug 31, 2021
  • dsss18 Public

    Lecture material for DeepSpec Summer School 2018

    HTML 68 24 0 3 Updated Jan 7, 2019

People

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