katydid / proofs

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

continued work on list tactic - balistic #52

Closed awalterschulze closed 1 year ago

awalterschulze commented 1 year ago

This is work done as part of the stream on 2023-05-25 https://www.youtube.com/watch?v=ETsHe8whKsw