GitHub repository: KalkulierbaR/kalkulierbar
Primary language: TypeScript
Description:  Learning Framework for Logic Calculi