search

katydid / proofs

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

Create Ordering instances with TODOs #48

Closed awalterschulze closed 1 year ago

awalterschulze commented 1 year ago

These Ordering instances are just here as placeholders to be proven later.

awalterschulze commented 1 year ago

There seems to be a temporary bug, let's wait for it to be fixed https://proofassistants.stackexchange.com/questions/2038/how-to-create-an-instance-of-totalble/2039#2039