All Git Users → salmans

1 open source projects by salmans

[ Open user page on Github ]

Razor is a tool for constructing finite models for first-order theories

✭ 54

rust theorem-proving chase model-finding geometric-logic

1-1 of 1 user projects