search

katydid / proofs

Proofs written in Lean4 for the core katydid validation algorithm
Apache License 2.0
14 stars 3 forks source link

mathlib has regular expressions #55

Closed awalterschulze closed 2 months ago

awalterschulze commented 1 year ago

Check out mathlib's version of regular expressions https://leanprover-community.github.io/mathlib_docs/computability/regular_expressions.html

awalterschulze commented 2 months ago

The library is incomplete, so rather going to define our own for now