https://github.com/JonathanLorimer/conceptual-mathematics

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
https://github.com/JonathanLorimer/conceptual-mathematics

Last synced: 3 months ago
JSON representation

Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics

• Host: GitHub
• URL: https://github.com/JonathanLorimer/conceptual-mathematics
• Owner: JonathanLorimer
• Created: 2022-01-09T16:28:19.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-02-16T07:17:36.000Z (over 2 years ago)
• Last Synced: 2024-05-01T19:26:28.096Z (7 months ago)
• Language: Agda
• Homepage:
• Size: 45.9 KB
• Stars: 23
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project