Hello,

I am working on an automated domain of reasoning called Occam. Here are some links:

https://occam.science
https://openmathematics.org

Partial lift off will happen in the coming months. One of the reasons I am here is to announce that. However, there are perhaps two or three years to go before things are ready for a wider audience.

#introduction
#occam
#openmathematics