/CFG-Challenge

A challenge for proof assistants about a particular context-free language.

Primary LanguageAgda

Stargazers