Lib
.rs
›
#
mechanical
#
reasoning
#
system
app
mrs
by
Olivier ROLAND
Install
Source
1 unstable release
0.1.0
Jun 11, 2020
#
8
in
#reasoning
GPL-3.0-or-later
2KB
Mechanical reasoning system
No runtime deps