GitHub repository: paraseba/conceptual-mathematics-in-lean
Primary language: Lean
Created: 2020-08-06T22:32:04Z
Description: Conceptual Mathematics exercises using Lean theorem prover