Pinned Loading

1. Interactive Coq Proofs in Vim

   Python 318 42

2. Print random proofs from ProofWiki

   Python 1

3. A blueish Vim color scheme.

   Vim Script 1

4. Short, fun proofs in Coq

   Coq 3

5. One sentence per line and wrap long lines.

   Vim Script 6 2

6. Interesting and unique clock projects.

   C++