Lib.rs

›
#proof-assistant #rational #type-theory

bin+lib qbar

the rational proof assistant

Owned by Brandon H. Gomes.

1 unstable release

0.0.0 Sep 20, 2020

#11 in #rational

Custom license

5KB

qbar

Dependencies

~225KB