← Feed @JacquesC2@types.pl Post #2668000 2026-05-07 12:10 UTC @mc@mathstodon.xyz Amusingly, also re-inventing what IMPS, the theorem prover that few have even heard of, did 30 years ago. Replies (0) No replies.