GitHub repository: JonathanLorimer/conceptual-mathematics
Primary language: Agda
Created: 2022-01-09T16:28:20Z
Description: Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics