Open source repositories tagged with #proof-assistant, ranked by health score.
Interactive Coq Proofs in Vim
