issues
search
katydid
/
proofs
Proofs written in Lean4 for the core katydid validation algorithm
Apache License 2.0
14
stars
3
forks
source link
Cleanup of Tipe2
#89
Closed
awalterschulze
closed
2 months ago