GitHub repository: JetBrains/Arend
Primary language: Java
Description: The Arend Proof Assistant