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 Rocq library written by members of PnV Discord Server

    Rocq Prover 15 1

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

    📚 (WIP) Rewriting Software Foundations in Lean 4

    Lean 21 3

Repositories

Showing 3 of 3 repositories

Top languages

Loading…

Most used topics

Loading…