Skip to content

@DeepSpec DeepSpec

Change the repository type filter

All

    Repositories list

    4 repositories

    • sf

      Public
      HTML
      •13•15•1•3•Updated Mar 9, 2026Mar 9, 2026

    • InteractionTrees

      Public
      A Library for Representing Recursive and Impure Programs in Coq
      Rocq Prover
      •
      MIT License
      •59•249•22•9•Updated Jan 22, 2026Jan 22, 2026

    • dsss17

      Public
      Lecture material for DeepSpec Summer School 2017
      Coq
      •15•90•0•0•Updated Aug 31, 2021Aug 31, 2021

    • dsss18

      Public
      Lecture material for DeepSpec Summer School 2018
      HTML
      •
      Other
      •24•68•0•3•Updated Jan 7, 2019Jan 7, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.