https://github.com/salmans/rusty-razor

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

chase geometric-logic model-finding rust-lang theorem-proving

Last synced: 13 Apr 2025