GitHub repository: mit-plv/coqutil
Primary language: Rocq Prover
Created: 2018-12-06T20:02:48Z
Description: Coq library for tactics, basic definitions, sets, maps