-
Open to work
- Sofia, Bulgaria
- abuseofnotation.github.io
- @alexanderkatt
- @abuseofnotation@mathstodon.xyz
- @abuseofnotation@aethy.com
Stars
1
star
written in Coq
Clear filter