feat: add simple co-inductive predicates #100
copyright-header.yml
on: pull_request
check-lean-files
23s
Annotations
1 error
check-lean-files
Process completed with exit code 1.
|