Skip to content
@proofbundle

ProofBundle

Formal compliance evaluation and cryptographically signed certification.

Popular repositories Loading

  1. proofbundle proofbundle Public

    Local files, signed cryptographic receipts, encryption, and verifiable history.

    JavaScript

  2. lean-sha-224 lean-sha-224 Public

    ProofBundle lean formalization for SHA-224

    Lean

  3. rocq-sha-256 rocq-sha-256 Public

    ProofBundle Rocq formalization for SHA-256

    Rocq Prover

  4. lean-sha-384 lean-sha-384 Public

    ProofBundle Lean formalization for SHA-384

    Lean

  5. rocq-sha-224 rocq-sha-224 Public

    ProofBundle Rocq formalization for SHA-224

    Rocq Prover

  6. lean-sha-256 lean-sha-256 Public

    ProofBundle Lean formalization for SHA-256

    Lean

Repositories

Showing 10 of 69 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
Developer Program Member