packages / ply

coq

Formal proof management system

license: LGPL-2.1-or-laterhttps://coq.inria.fr

use it

[dependencies]
coq = "8.19"

versions