Search for another snap, or
go back to the homepage.
Enjoying this site? Please to help keep the Snapstats.org lights on.
Aris supports propositional and predicate logic, Boolean algebra,
and arithmetical logic in the form of abstract sequences (seqlog).
An error has occurred. This application may no longer respond until reloaded.