OCaml Forge

Project description

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.

Public Areas
Tracker Tracker
 Public Forums (2 messages in 2 forums)
 Mailing Lists (1 public mailing list)
There are no public subprojects available
 Surveys (0 surveys)
 SCM Repository (Git: 21 commits, 3 adds)
Latest File Releases
Package Version Date Notes Monitor Download
This Project Has Not Released Any Files
Project Members
Latest News
No News Items Found