cryspen/hax
A Rust verification tool
formal-verificationrust
First Claude commit: Apr 1, 2026Last Claude commit: 2mo agoDiscovered: Apr 2, 2026
Recent Claude Commits
feat(lean): redefine RustM monad using ExceptT Error Option
e8fdff82mo agoauthor_email