GitHub repository: qdeduction/qbar
Primary language: Rust
Created: 2020-09-20T20:09:22Z
Description: the rational proof assistant