A tool for shared writing and social publishing
Social networking technology created by Bluesky
a fork of the atproto "statusphere" demo that uses vite/react
Lean Theorem Prover MCP
My solutions to Tao's Analysis I, formalized in Lean
