@6go_@fedibird.com
Joined: 02/07/2023
18
Followers
26
Following
プログラム意味論、数理論理学と型理論、論理と計算と位相 | R.ノージック
{username} has no public lists
{username} has no activity yet
