all empty list cases added to balistic tactic

katydid / proofs

Proofs written in Lean4 for the core katydid validation algorithm

Apache License 2.0

14 stars 3 forks source link

Closed awalterschulze closed 1 year ago

awalterschulze commented 1 year ago

This was done during the twitch pair programming stream on 2023-05-11