GitHub repository: JankaGramofonomanka/idris-theory
Primary language: Idris
Created: 2025-01-05T20:51:00Z
Description: A set of theorems