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

Add strong induction #104

Closed io12 closed 1 year ago

io12 commented 1 year ago

Closes #64