← Feed @trebor@types.pl Post #2142734 2026-04-21 16:57 UTC Are inference rules figures or equations? Replies (0) No replies.