UNPKG

folproof

Version:

A first-order logic proof verifier

cdibbs/folproof

folproof / .travis.yml

5 lines (4 loc) • 49 B

YAML

View Raw

1

2

3

4

5

language: node_js node_js: - "0.11" - "0.10"