formal-lang. A formal definition of a language accompanied by proofs of its properties.

github.com/shilangyu/formal-lang

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.