Showing 1 of 1 repositories tagged #geometric-logic, ranked by stars
Razor is a tool for constructing finite models for first-order theories
