Find a file - concept-collection/proofery

concept-collection / proofery

.gitignore LICENSE README.md examples/demo.html examples/example.prf package-lock.json package.json src/block.ts src/calculateVerifier.ts src/cli.ts src/context.ts src/errors.ts src/expression.ts src/index.ts src/nodeParser.ts src/parser.ts src/simplifier.ts src/verifier.ts tsconfig.json