Skip to content

feat: add simple co-inductive predicates #109

feat: add simple co-inductive predicates

feat: add simple co-inductive predicates #109

check-lean-files

succeeded Aug 23, 2024 in 22s