flow_metamath

Metamath implementation in flow9 language

Make sure, that python, java and jre is installed on your machine

Check out flow9 repository with something like

git clone https://github.com/area9innovation/flow9

Add flow9/bin to your path. We also require 64-bit Java Runtime and Python in your path.
Check out this repository, change directory to its root
Build metamath.jar with command:

build-with-flowc1 file=metamath.flow
Run a test file with command:

java -jar metamath.jar file=uset-100000.mm