avatar

Sterling Jeppson

@sinjin36@mastodon.social

Joined: 01/25/2025



About Sterling Jeppson

I enjoy theorem proving with coq

Lists

sinjin36 has no public lists

Timeline

sinjin36 has no activity yet