Skip to content

Fix split printing #428

Fix split printing

Fix split printing #428

LeanAuto CI

succeeded Jan 23, 2025 in 6m 19s
Set up job
3s
Setup dotnet
1s
Setup Z3
2s
Checkout Boogie
6s
Install tools, build Boogie
38s
Setup Lean
10s
Test Lean generator on textbook examples
5m 12s
Post Setup Lean
0s
Post Checkout Boogie
0s
Post Setup dotnet
0s
Complete job
0s