Skip to content
@DeepSpec

DeepSpec

Popular repositories Loading

  1. InteractionTrees InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    Coq 207 51

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

Repositories

Showing 4 of 4 repositories
  • sf Public
    DeepSpec/sf’s past year of commit activity
    HTML 13 11 0 1 Updated Dec 27, 2024
  • InteractionTrees Public

    A Library for Representing Recursive and Impure Programs in Coq

    DeepSpec/InteractionTrees’s past year of commit activity
    Coq 207 MIT 51 22 (2 issues need help) 8 Updated Oct 9, 2024
  • dsss17 Public

    Lecture material for DeepSpec Summer School 2017

    DeepSpec/dsss17’s past year of commit activity
    Coq 86 14 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.

Top languages

Loading…

Most used topics

Loading…