Profile | wanderer

Sterling Jeppson

@sinjin36@mastodon.social

Joined: 01/25/2025

0

Followers

1

Following

About Sterling Jeppson

I enjoy theorem proving with coq

Lists

sinjin36 has no public lists

Timeline

sinjin36 has no activity yet