whonore/Coqtail
Interactive Coq Proofs in Vim
326 stars45forks36issuespushed
Worth your time
rules reportOutside contributors get real replies here, and their work gets merged.
16 of 16outside PRs merged (100%)
checked
whonore/Coqtail
Interactive Coq Proofs in Vim
Outside contributors get real replies here, and their work gets merged.
16 of 16outside PRs merged (100%)
checked
Where newcomer work lands
The evidence