Popular repositories Loading

1. hapl hapl Public

   Haskell plagiarism detector via call-graph matching

   Haskell 1

2. DTDT-Formal-Semantics DTDT-Formal-Semantics Public

   This repository contains the formalisation of an extended dependently typed lambda calculus given in the paper below: https://www.cs.princeton.edu/~dpw/papers/TCS04.pdf

   Rocq Prover