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
10 stars 2 forks source link

Removed comma necessity after quantifier, fixed formatting errors #126

Closed zacharybonagura closed 1 month ago

zacharybonagura commented 1 month ago

Removed comma necessity after quantifier, fixed formatting errors