Top 2 coq-plugin open source projects

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker