Skip to content

small progress in formalization #522

small progress in formalization

small progress in formalization #522

Triggered via push December 22, 2023 07:18
Status Success
Total duration 4m 26s
Artifacts

scala.yml

on: push
Fit to window
Zoom out
Zoom in