geometric-logic topic

List geometric-logic repositories

rusty-razor

55
Stars
1
Forks
Watchers

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

verified publisher icon salmans