#1 TRENDING rocq-prover/equations Rocq Prover 2009 A function definition package for Rocq ◇ coq◇ dependent-types◇ programming-language◇ rocq 58 ↑ +1 today 236