Repositories list

• sf

  Public
  HTML

  •13•14•0•3•Updated Mar 9, 2026Mar 9, 2026

• InteractionTrees

  Public
  A Library for Representing Recursive and Impure Programs in Coq

  Rocq Prover

  •

  MIT License

  •59•244•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