-
Open to work
- Sofia, Bulgaria
- abuseofnotation.github.io
- @alexanderkatt
- @abuseofnotation@mathstodon.xyz
- @abuseofnotation@aethy.com
Block or Report
Block or report abuseofnotation
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Agda
Sort by: Most stars
3
stars
written in Agda
Clear filter
An introduction to programming language theory in Agda
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT