search

katydid / proofs

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

rename Lang to Language #62

Closed awalterschulze closed 11 months ago

awalterschulze commented 11 months ago

This renaming is done to have more parity with https://github.com/conal/paper-2021-language-derivatives/blob/main/Language.lagda