GitHub repository: DerYeger/apollo-backend
Primary language: Kotlin
Description: A web application for first-order model checking in graph structures.