aeneas
+29A verification toolchain for Rust programs
program-verification
Chủ đề #program-verification trên GitHub — repository trong kho Beeknoee có gắn topic này.
- Repository
- 2
- Tổng sao
- 4k
- 24 giờ
- +0.1%
- 7 ngày
- +1%
- 30 ngày
- –
Repository trong #program-verification
Formal-Verification-RSI
+10Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
Chủ đề khác
Các chủ đề phổ biến khác trong kho Beeknoee
