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