Skip to content
@DeepSpec

DeepSpec

Popular repositories Loading

  1. InteractionTrees InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    Rocq Prover 246 58

  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 14 13

Repositories

Showing 4 of 4 repositories
  • sf Public
    DeepSpec/sf’s past year of commit activity
    HTML 14 13 1 3 Updated Mar 9, 2026
  • InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    DeepSpec/InteractionTrees’s past year of commit activity
    Rocq Prover 246 MIT 58 22 (2 issues need help) 9 Updated Jan 22, 2026
  • dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    DeepSpec/dsss17’s past year of commit activity
    Coq 90 15 0 0 Updated Aug 31, 2021
  • dsss18 Public

    Lecture material for DeepSpec Summer School 2018

    DeepSpec/dsss18’s past year of commit activity
    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.

Most used topics

Loading…