← Feed @ionchy@types.pl Post #3211643 2026-05-23 02:18 UTC @sys64738@types.pl and proof assistants were invented by mathematicians. shhh Replies (0) No replies.