GitHub repository: Bram-Hub/aris
Primary language: Rust
Description: Aris: a logic engine/formal proof interface; 3nd generation, successor to the Java version of Aris.