Fossy
fossy
Back to home·All projects
Keyword Tag

proof

Curated open-source repositories matching the tag/keyword "proof".

1 project found
bend
bend
bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
20kstars521forksTypeScript
Apache-2.0
bend
cuda
dependent-types
gpu

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)