search

leanprover-community / lean-auto

Experiments in automation for Lean
Apache License 2.0
73 stars 12 forks source link

Change lexer to ignore comments #23

Closed dranov closed 7 months ago

dranov commented 7 months ago

Previously they threw a lexing error, as in #22. This fixes #22.