# [2021.06.08] Lark

Today I managed to use the `Lark` parser generator for Python to work
with TPTP files. Although at [their site](http://tptp.org/) they
provide some BNF grammar, it doesn't work with `Lark` as is. I had to
edit it quite extensively. Nevertheless, I think it's better than
writing a lexer and a parser from scratch.

You are viewing proxied material from sdf.org. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.