Popular repositories Loading

1. software-foundations software-foundations Public

   Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

   Coq 20 9

2. coq-lecture-notes coq-lecture-notes Public

   Forked from anton-trunov/coq-lecture-notes

   Coq Lecture Notes

   Coq 1

3. xlsx xlsx Public

   Forked from qrilka/xlsx

   Simple and incomplete Excel file parser/writer

   Haskell

4. diffbot diffbot Public

   Simple client for the Diffbot API

   Haskell 2

5. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

6. math-classes math-classes Public

   Forked from rocq-community/math-classes

   A library of abstract interfaces for mathematical structures in Coq.

   Coq