GitHub repository: maul-esel/rapanui
Primary language: Java
Description: An interactive proof assistant for relational algebra