← Feed @TaliaRinger@mathstodon.xyz 2026-03-28 00:24 UTC We named the standard library for our Euclidean Geometry proof assistant "Euclib" and I'm so proud of this Replies (0) No replies.