pgimeno/FormalTheory

作者	SHA1 备注	提交日期
Kendall Hopkins	25fa26a92a Implement FA reverse.	12 年之前
Kendall Hopkins	c2719b939b Tweak README a bit.	12 年之前
Kendall Hopkins	4f1f0e3172 Update README with latest changes.	12 年之前
Kendall Hopkins	fb7731d6ea Implement subset and superset checks.	12 年之前
Kendall Hopkins	825d21f65c Implement DFA solution counting.	12 年之前
Kendall Hopkins	7278e54c6c Update README.md.	12 年之前
Kendall Hopkins	14ac6b922c Add README.md.	12 年之前