Fix new clippy lints - Githubissues

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

Closed io12 closed 2 years ago