#proof #assistant #rational

bin+lib qbar

the rational proof assistant

1 unstable release

0.0.0 Sep 20, 2020

#10 in #rational

Custom license

5KB

qbar

Dependencies

~185KB