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