@sinjin36@mastodon.social
Joined: 01/25/2025
0
Followers
1
Following
I enjoy theorem proving with coq
sinjin36 has no public lists
sinjin36 has no activity yet