salmans/rusty-razor

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

语言：Rust · GitHub 星标：58 · Fork：2

话题：chase · geometric-logic · model-finding · rust-lang · theorem-proving

在 GitHub 上查看原仓库