OCaml Forge

surikata

Surikata is a computational system which uses inductive inference and information theoretic ideas to discover new Mathematics automatically. Mathematical theories are represented using the Metamath language.