Sterling Jeppson
@sinjin36@mastodon.social
Joined: 01/25/2025
About Sterling Jeppson
I enjoy theorem proving with coq
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@sinjin36@mastodon.social
Joined: 01/25/2025
I enjoy theorem proving with coq
{username} has no public lists
{username} has no activity yet