Popular repositories Loading

1. basic-todo basic-todo Public

   Basic todo list app in Django.

   Python

2. imaxw.github.io imaxw.github.io Public

   Personal GitHub page

   HTML

3. Ordinal Ordinal Public

   An implementation of ordinal numbers and their operations and properties in the Coq proof assistant.

   Coq

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. coq-sandbox coq-sandbox Public

   Assorted small things I've written in the Coq Proof Assistant.

   Coq