fossy
Curated FOSS Directory for Community and Discussion
Browse
Submit
Sign in
Back to home
·
All projects
Keyword Tag
theorem-proving
Curated open-source repositories matching the tag/keyword "theorem-proving".
1 project found
bend
bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
20k
stars
521
forks
TypeScript
Apache-2.0
bend
cuda
dependent-types
gpu
Sponsored
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)
