GIT_FEED

MyceliaCognition/chaos-prover

Autonomous Neuro-Symbolic formal verification engine for Lean 4.

View on GitHub
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.