Geek Repo
the rational proof assistant
Location:everywhere
Home Page:https://qbar.io
Github PK Tool:Github PK Tool
an expression library
Rust implementation of the rational deduction algorithms