List view

SSProve

approval: has maintainer agreement

kind: package inclusion

Status: Open.

#177 In rocq-prover/platform;

· spitters opened on Nov 17, 2021

Add SMTCoq to Coq Platform

approval: has maintainer agreement

kind: package inclusion

Status: Open.

#302 In rocq-prover/platform;

· ckeller opened on Oct 13, 2022

Add MMaps to Coq Platform

approval: editorial board agreementtag given after discussion by the editorial boardtag given after discussion by the editorial board

approval: has maintainer agreement

kind: package inclusion

Status: Open.

#307 In rocq-prover/platform;

· palmskog opened on Oct 23, 2022