search

katydid / proofs

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

Add proofs for the examples in Conal/Examples.lean #94

Closed keeganperry7 closed 2 months ago