home.social

#openmathematics — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #openmathematics, aggregated by home.social.

  1. James Smith @[email protected] ·

    Hello,

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

    occam.science
    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

    #openmathematics #occam #introduction