Skip to content

small progress in formalization (while - sync case) #514

small progress in formalization (while - sync case)

small progress in formalization (while - sync case) #514

Triggered via push November 20, 2023 21:06
Status Success
Total duration 4m 20s
Artifacts

scala.yml

on: push
Fit to window
Zoom out
Zoom in