JonathanLorimer/conceptual-mathematics
Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
Agda
Stargazers
- bmorphism@plurigrid
- ChrisPennerUnison Computing
- d-atif
- dylanlee
- herulumeSaltPay
- justinchuby@microsoft
- Kaweees@meraki
- krisyotamLael Inc.
- leoydm
- modalsoul0226University of Toronto
- nikitavoloboevMadrid
- noghartt@firefliesai
- o1lo01ol1obklyn
- overoxidize
- PythonCZX
- rajeshpgTyped Λambda
- SCKelemenStockholm, Sweden
- shonfeder@tarides
- SlimTim10@MercuryTechnologies
- spamegg1
- ST-48-1240162
- tah0
- thiskappaisgreySan Francisco
- tkersey@thisisartium
- TOTBWFMcMaster University
- voilaDunedin, NZ