8000 DeepSpec repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@DeepSpec DeepSpec

Change the repository type filter

All

    Repositories list

    4 repositories

    • InteractionTrees

      Public
      A Library for Representing Recursive and Impure Programs in Coq
      Coq
      •
      MIT License
      •54•219•21•7•Updated Feb 28, 2025Feb 28, 2025

    • sf

      Public
      HTML
      •11•13•0•1•Updated Dec 27, 2024Dec 27, 2024

    • dsss17

      Public
      Lecture material for DeepSpec Summer School 2017
      Coq
      •14•88•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
    0