1 unstable release

0.1.0 Jun 11, 2020

#8 in #reasoning

GPL-3.0-or-later

2KB


Mechanical reasoning system

No runtime deps