abdullah uyu @oneofvalts@mastodon.sdf.org
- personal site
- https://attaque-cinq.com
- operating system
- parabola gnu/linux-libre & openbsd
- proof assistant
- coq
- plain text organization system
- org-mode
raw, refined, raw again
Joined Jan 2021
raw, refined, raw again
