MoAI

MoAI is an automated theorem discovery system.
The origin of the name "MoAI" is "Math of Artifical Intelligence."

Name		Name	Last commit message	Last commit date
Latest commit History 123 Commits
app		app
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Provide feedback