Rare find

kani. Kani Rust Verifier

github.com/model-checking/kani

by

@model-checking

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.