Lib
.rs
›
#
assistant
#
rational
#
proof
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
#
12
in
#rational
Custom license
5KB
qbar
Dependencies
~200KB
terminal
+
crossterm-backend