issues
search
Bram-Hub
/
aris
Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.
https://aris.bram-hub.com
GNU General Public License v3.0
9
stars
1
forks
source link
Disjunctive syllogism
#76
Closed
vulpetite
closed
3 years ago