Skip to content
Metamath implementation in flow language
Objective-C++
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
README.md
flow.config
metamath.flow
metamath_ast.flow
test.mm
uset-100000.mm
uset-12000.mm

README.md

flow_metamath

Metamath implementation in flow9 language

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

  2. Check out flow9 repository with something like

    git clone https://github.com/area9innovation/flow9
    
  3. Add flow9/bin to your path. We also require 64-bit Java Runtime and Python in your path.

  4. Check out this repository, change directory to its root

  5. Build metamath.jar with command:

    build-with-flowc1 file=metamath.flow

  6. Run a test file with command:

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

You can’t perform that action at this time.