Beneficial AI Foundation

Popular repositories Loading

1. vericoding-benchmark vericoding-benchmark Public

   Lean 43 4

2. vericoding vericoding Public

   tools and benchmarks for verified coding

   Rust 28 1

3. FloatSpec FloatSpec Public

   Formally Verified Float Implementation with lean4

   Lean 20 5

4. formal-verification-skills formal-verification-skills Public

   Formal verification of Rust code with AI-assisted specification and proof.

   JavaScript 15 2

5. dafny-autopilot dafny-autopilot Public

   TypeScript 14 1

6. curve25519-dalek-lean-verify curve25519-dalek-lean-verify Public

   Verifying curve25519-dalek using Lean

   Lean 13 18