GitHub repository: katydid/proofs
Primary language: Lean
Description: Proofs written in Lean4 for the core katydid validation algorithm