UNPKG

stsys

Version:

String rewriting system (semi-Thue system)

2 lines (1 loc) 42 B
module.exports = require('./lib/prover');