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

Summary: Benchmark - LV0176_vericoded.lean

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

Summary: Benchmark - LV0174_vericoded.lean

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

Summary: Benchmark - LV0173_vericoded.lean

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

Summary: Benchmark - LV0172_vericoded.lean

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

Summary: Benchmark - LV0171_vericoded.lean

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

Summary: Benchmark - LV0168_vericoded.lean

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