GitHub repository: mche3kek/lisa
Primary language: Scala
Description: Proof assistant based on first-order logic and set theory