PnVDiscord/PnVRocqLib

📝 A Rocq library written by members of PnV Discord Server

GitHub repository with 18 stars and 1 forks.

Language: Rocq Prover

Topics: completeness, coq-formalization, coq-library, first-order-logic, propositional-logic, rocq-library, soundness

Open provider repository

Latest metric snapshot

2026-06-05: 18 stars and 1 forks.

Trending in Rocq Prover

  1. 1. SkyLabsAI/BRiCk

    Formalization of C++ for verification purposes.

    GitHub repository with 92 stars and 16 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

    Topics: coq, coq-formalization, coq-library, cplusplus, cplusplus-11, cplusplus-14

  2. 2. uds-psl/MPCTT

    Modeling and Proving in Computational Type Theory

    GitHub repository with 123 stars and 13 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  3. 3. takanuva/tarski-rocq

    Shrinking induction-recursion... sometimes you just wanna be small!

    GitHub repository with 10 stars and 0 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rocq Prover