← Feed @jemlord@mathstodon.xyz Post #2061460 2026-03-31 22:23 UTC @ncf Yay, thank you! It's cool seeing it come together in a proof assistant. Replies (0) No replies.