Beneficial AI Foundation

Popular repositories Loading

1. vericoding-benchmark vericoding-benchmark Public

   Lean 42 4

2. vericoding vericoding Public

   tools and benchmarks for verified coding

   Rust 27 1

3. FloatSpec FloatSpec Public

   Formally Verified Float Implementation with lean4

   Lean 17 3

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