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