The open-source library for

formally verified code

Showing 1726–1735 of 1,735
Sort by
Lean Locked
Repo Verified ✓

Summary: SampCert

Repo: https://github.com/leanprover/SampCert

Rust Locked
Repo

Summary: libsignal focus on dalek_lite

Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite

Dafny Locked
File Verified ✓

Summary: A test

Dafny Locked
File

Summary: Dafny Bignums

Dafny Locked
File

Summary: Dafny bignums, 20250612, 1109

Rust Locked
Repo

Summary: libsignal focus on dalek_lite

Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite

Rust Locked
Repo

Summary: Rust Signal Github Sofia

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Rust Locked
Repo

Summary: LibsignalAug11

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Lean Locked
Repo

Summary: Simple Monads

Repo: https://github.com/leanprover-community/lean4-samples/tree/main/SimpleMonads

Rust Locked
Repo Verified ✓

Summary: Curve Dalek

Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite