Lib
.rs
›
#
assistant
#
proof
#
rational
bin+lib
qbar
the rational proof assistant
Owned
by
Brandon H. Gomes
.
Install
API reference
GitHub repo
(
qdeduction
)
Home (qbar.io)
1 unstable release
0.0.0
Sep 20, 2020
#
13
in
#rational
Custom license
5KB
qbar
Dependencies
~210KB
terminal
+
crossterm-backend