Correspondence
Every proof starts
with a question.
Write to the prospectus. A theorem you want formalized. A system you work in. A reason Bologna is or isn’t the right room.
logicartificialis@gmail.comA note, at your own pace.
Use the form to keep a note in this browser. When you’re ready, open it in your email app to write to us.
No account or mailing list. Browser notes are stored only on this device.
