UNPKG

stsys

Version:

String rewriting system (semi-Thue system)

4 files

	Filename	Content Type	Size
	../
	ack.js	text/javascript	1.43 kB
	cmpTests.js	text/javascript	7.96 kB
	proverTests.js	text/javascript	10 kB
	unitTests.js	text/javascript	6.89 kB