Popular repositories Loading

1. cyp cyp Public

   Forked from noschinl/cyp

   Checker for "morally correct" induction proofs about haskell programs

   Haskell 8 2

2. WS1S WS1S Public

   A Coalgebraic Decision Procedure for WS1S

   HTML 1

3. icfp2013-papers icfp2013-papers Public

   Forked from gasche/icfp2013-papers

   List of ICFP'13 accepted papers, with links to preprint or additional information when available

4. UFP_formalized UFP_formalized Public

5. Witnessing-Codatatypes Witnessing-Codatatypes Public

6. fouco fouco Public

   1