Verified invertible lexer using regular expressions and DFAs

Samuel Chassot, Viktor Kunčak

In this project, we explore the concept of invertibility applied to serialisation and lexing frameworks. Recall that, on one hand, serialisation is the process of taking a data str…