Skip to content
Scala CI

starting point for formalization of cps algorithm in isabella #501

Sign in to view logs

starting point for formalization of cps algorithm in isabella

starting point for formalization of cps algorithm in isabella #501

Triggered via push October 8, 2023 10:07
@rsshrssh
pushed 9d9d05e
master
Status Success
Total duration 8m 0s
Artifacts –

scala.yml

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