UNPKG

stsys

Version:

String rewriting system (semi-Thue system)

6 files

	Filename	Content Type	Size
	../
	cmp.js	text/javascript	5.93 kB
	cpmgr.js	text/javascript	1.88 kB
	goalmgr.js	text/javascript	2.02 kB
	prover.js	text/javascript	11.5 kB
	rulemgr.js	text/javascript	4.57 kB
	strpair.js	text/javascript	2.27 kB