AGIRI Projects

From AGIRI.org

Jump to: navigation, search

AGIRI manages several opensource software projects designed to create tools to aid in the study and education of artificial general intelligence. Anyone can become a project contributor. There are currently four projects under development or in planning:

  • Mizar Conversion Project
    • Aiding AI in mathematical theorem proving
    • Converting the formal Mizar language to a standard notation
Personal tools