Summary: Emi Test Nov 2025

Summary: BinaryAddition_ArrayToSequence_Sofia

Summary: dalek-lite-Sep22

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

Summary: BelowZero_BelowZero_Sofia

Summary: Dalek not working

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

Summary: DafnyTestSofiaSep8.dfy

Summary: sorting_rs Aug 11

Repo: https://github.com/flakusha/sorting_rs

Summary: Sofia RETesting Dafny

Summary: Sofia Testing Dafny Aug11_b

Summary: sorting_rs

Repo: https://github.com/flakusha/sorting_rs

Summary: Sofialoops.rs

Summary: TESTBignumsDafny

Summary: RUST_loops_Sofia Jun 30

Summary: Dafnytheod_Bignums Jun 30

Summary: DafnySimpleSofia Jun 30