Skip to content
Lean Action CI

Fix import in LeanBoogie.lean #26

Sign in to view logs

Fix import in LeanBoogie.lean

Fix import in LeanBoogie.lean #26

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
3m 49s
3m 49s