1 result found Sort:

salmans
rusty-razor salmans
1
55
mit
6
Razor is a tool for constructing finite models for first-order theories
chase rust-lang model-finding geometric-logic theorem-proving
Created 2018-12-30
127 commits to master branch, last one 3 years ago