Skip to content
Scala CI

slow progress in proofs, ISAR style for structured induction #511

Sign in to view logs

slow progress in proofs, ISAR style for structured induction

slow progress in proofs, ISAR style for structured induction #511

Triggered via push October 30, 2023 07:52
@rsshrssh
pushed 515d071
master
Status Success
Total duration 7m 52s
Artifacts –

scala.yml

on: push
build
7m 38s
build
Fit to window
Zoom out
Zoom in