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

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