Oddbean new post about login | logout | npub | npub1d5tew3uncka5e5g63jlw7jef70uwx5t3ndgppug5942qy38e8lns7a827x |
|---|---|
| name | |
| about | Verified on my Twitter account: https://x.com/YutakangE/status/1827785748785099031 I am the maintainer of PSL in Isabelle/HOL: https://github.com/data61/PSL My Blog: http://unitedreasoning.com |
| banner | https://image.nostr.build/a4c1223f3fd5dda4686a01d72818f39e711255aa9e72e5395cfe30e795a10b25.jpg |
| display_name | yutaka_en |
| lud06 | |
| picture | https://image.nostr.build/adcff405e1300c3ff34390e6ed9f8468b99871e85b18fec709d0bcca45254d1f.gif |
| website | https://yutakang.github.io |
