bluntg. Formally-verified De Bruijn graph bluntifier (Lean 4 + Rust)

github.com/pangenome/bluntg

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.