Pinned

1. Coqtail Coqtail Public

   Interactive Coq Proofs in Vim

   Python 253 33

2. proofaday proofaday Public

   Print random proofs from ProofWiki

   Python 1

3. vim-blueper vim-blueper Public

   A blueish Vim color scheme.

   Vim Script 1

4. FunProofs FunProofs Public

   Short, fun proofs in Coq

   Coq 3

5. vim-sentencer vim-sentencer Public

   One sentence per line and wrap long lines.

   Vim Script 6 2

6. clocks clocks Public

   Interesting and unique clock projects.

   C++