search

katydid / proofs

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

create Calculus and Examples #64

Closed awalterschulze closed 11 months ago

awalterschulze commented 11 months ago

Move the code from Language.lean to Calculus and Examples since this is where the code is located in the Agda