Olivier de Gevigney issues

Repositories
Issues
Comments

Results 2 issues of


                                            Olivier de Gevigney

A more complete example for error production

I am trying to use the error production feature for handling typos in a really simple context-free grammar. Could you please give a more advanced example?

Close HTML img tags

When building the epub version, I get errors related to non closed HTML tags. This should help drive https://github.com/leanprover/logic_and_proof/issues/30 to resolution