← Feed @rzeta0@mathstodon.xyz 2026-02-12 17:37 UTC @Akshay @RosaCtrl @samir yes, I think formal verification sets this apart Replies (0) No replies.