gitlab.com topics: Agda
ixaxaar/monoid.space
Learn abstract math with agda 🚀
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
ualib/ualib.gitlab.io
Documentation: https://ualib.gitlab.io . New version: https://github.com/ualib/agda-algebras
Last synced at: over 2 years ago - Stars: 4 - Forks: 2
DPDmancul/complete-integers-agda
In this work we will define a superset of integers (the complete integers), which contains the dual of integers along parity (e.g. the odd zero, the even one, ...). Then we will see how they form a ring and how they can be used as exponents for real numbers powers, in order to write functions which have a discontinuity in zero (the function itself or one of its derivates), as for example the absolute value and the sign function.
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
wjd/uf-agda_wjd
Notes based on Martin Escardo's 2019 MGS course on HoTT/UF in Agda
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0