GitHub repository: owken64/Ronri
Primary language: Scala
Description: An Application for Mathematical logic . DSL(?), not superior to programming.