Skip to content
@DeepSpec

DeepSpec

Popular repositories Loading

  1. InteractionTrees InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    Rocq Prover 257 60

  2. dsss17 dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    Coq 91 15

  3. dsss18 dsss18 Public

    Lecture material for DeepSpec Summer School 2018

    HTML 69 24

  4. sf sf Public

    HTML 16 14

Repositories

Showing 4 of 4 repositories
  • sf Public
    DeepSpec/sf's past year of commit activity
    HTML 16 14 1 3 Updated Aug 12, 2026
  • InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    DeepSpec/InteractionTrees's past year of commit activity
    Rocq Prover 257 MIT 60 21 (2 issues need help) 9 Updated Jun 12, 2026
  • dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    DeepSpec/dsss17's past year of commit activity
    Coq 91 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 69 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.

Top languages

Loading…

Most used topics

Loading…