MyceliaCognition/chaos-prover
Autonomous Neuro-Symbolic formal verification engine for Lean 4.
0Active
On the radar — signal detected
Stars
4
Forks
0
Contributors
0
Language
Lean
Score updated May 15, 2026
// SUBSCRIBE
The repos that moved this week, why they matter, and what to watch next. One email. No noise.