hint simplify registers one rule per conjunct of a lemma - #1110
Merged
Annotations
2 warnings
|
Post Set-up OCaml
Input 'dune-cache' has been deprecated with message: This input will be removed in v4. The "cache" input takes precedence: "cache: false" disables Dune caching. Manage Dune caching separately after removal.
|
|
Set-up OCaml
Input 'dune-cache' has been deprecated with message: This input will be removed in v4. The "cache" input takes precedence: "cache: false" disables Dune caching. Manage Dune caching separately after removal.
|
background
wait
wait-all
cancel
parallel
Loading