Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
README.md
autosize.min.js
collections.js
frontend.js
methodlib.js
pealprover.js

README.md

This directory contains the JavaScript source which powers JSProve.