-
Open to work
- Sofia, Bulgaria
- abuseofnotation.github.io
- @alexanderkatt
- @abuseofnotation@mathstodon.xyz
- @abuseofnotation@aethy.com
Stars
3
results
for source starred repositories
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