GitHub repository: mAarnos/Serkr
Primary language: Rust
Description: An automated theorem prover for first order logic.