Popular repositories Loading

1. mini-yu mini-yu Public

   A dependently typed programming language prototype

   Haskell 9

2. Conque-GDB Conque-GDB Public

   Forked from vim-scripts/Conque-GDB

   GDB command line interface and terminal emulator in (G)Vim.

   Python 2 2

3. hott-classes hott-classes Public

   Coq 1 1

4. Coq-Equations Coq-Equations Public

   Forked from mattam82/Coq-Equations

   A plugin for Coq to add dependent pattern-matching.

   Coq 1

5. coquille coquille Public

   Forked from the-lambda-church/coquille

   Interactive theorem proving with Coq in vim.

   Vim Script 1

6. coq coq Public

   Forked from coq/coq

   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 1