/proof-search-ILLWiL

A self-contained repo for the ILLWiL paper

Primary LanguageAgda

Watchers