GitHub repository: katydid/regex-deriv-lean
Primary language: Lean
Description: Proofs written in Lean4 for the core katydid validation algorithm