GitHub repository: rec0de/kalkulierbar
Primary language: Kotlin
Created: 2020-01-13T12:33:55Z
Description: Learning Framework for Logic Calculi