Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: pmemlog

Repo: https://github.com/microsoft/verified-storage/tree/main/pmemlog

Summary: Dalek Verus

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

Summary: Dalek Verus — certified snapshot

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

Summary: Dalek Verus — certified snapshot

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

Summary: pmemlog CLI 0.2.1

Repo: https://github.com/sofia-lanfri/pmemlog

Summary: DafnyySofiaNov26

Summary: Libsignal

Repo: https://github.com/signalapp/libsignal/

Summary: Dalek Lite

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

Summary: Verus CLI Armin Test

Repo: https://github.com/avrevic/dalek-lite-fork

Summary: Oliver Bignum

Repo: https://github.com/oliver-butterley/BigNum

Summary: TreuRust_Sofia

Repo: https://github.com/sofia-lanfri/test_true/tree/main/src

Summary: Benchmark - LV0181_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Summary: Benchmark - LV0180_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark

Summary: Benchmark - LV0178_vericoded.lean

Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark