Fwd: [ot][spam][crazy][random] numbers symbols arithmetic math

[Undescribed Horrific Abuse, One Victim & Survivor of Many]

---------- 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