Fwd: [ot][spam][crazy][random] numbers symbols arithmetic math
Undescribed Horrific Abuse, One Victim & Survivor of Many
gmkarl at gmail.com
Tue Nov 1 10:14:58 PDT 2022
---------- Forwarded message ----------
From: "Undescribed Horrific Abuse, One Victim & Survivor of Many"
<gmkarl at gmail.com>
Date: Tue, 1 Nov 2022 13:13:25 -0400
Subject: Re: [ot][spam][crazy][random] numbers symbols arithmetic math
To: cpunks at list.cpunks.org
here is something!
i dont remember first order logic
https://github.com/stepchowfun/theorem-prover
maybe i can translate it to common words
More information about the cypherpunks
mailing list