avatar

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