Skip to content
@PnVDiscord

Proof and Verification Discord

Proof assistant and formal verification community
README.md

Proof and Verification

Pinned Loading

  1. PnVRocqLib PnVRocqLib Public

    📝 A Coq library written by members of PnV Discord Server

    Rocq Prover 9 1

  2. software-foundations-lean software-foundations-lean Public

    📚 (WIP) Rewriting Software Foundations in Lean 4

    Lean 6

Repositories

Showing 3 of 3 repositories

Most used topics

Loading…