GitHub repository: livrelogique/pravda
Primary language: TypeScript
Description: Pravda is a tool for teaching formal logic.