Verified Derivatives for Fast Filtering and Schema Validation of Semi-Structured Data

• Lean4 Verification (DOI)
• Go Implementation and Instructions on how to reproduce benchmarks (DOI)
• TestSuite (required for benchmarks) (DOI)
• Latex Source (DOI)