Damus
The social network you control
yutaka_en
@
npub1d5t:ns7a827x
npub1d5tew3uncka5e5g63jlw7jef70uwx5t3ndgppug5942qy38e8lns7a827x
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