/CFG-Challenge

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

Primary LanguageAgda

No issues in this repository yet.