/YC_in_Coq

Some parts of formal language theory in Coq

Primary LanguageCoqApache License 2.0Apache-2.0

Short description

Some parts of formal languge theory in Coq.

More details here.

TBA