Visitar URL original
DeepSpec repositories · GitHub
Skip to content

@DeepSpec DeepSpec

All

    Repositories list

    4 repositories

    • InteractionTrees

      Public
      A Library for Representing Recursive and Impure Programs in Coq
      Rocq Prover
      •
      MIT License
      •62•263•20•9•Updated Nov 2, 2026Nov 2, 2026

    • sf

      Public
      HTML
      •14•16•1•3•Updated Aug 12, 2026Aug 12, 2026

    • dsss17

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

    • dsss18

      Public
      Lecture material for DeepSpec Summer School 2018
      HTML
      •
      Other
      •24•69•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.