Skip to content
Build thys

Add barebones Sugar2 theory to work out injection theorems #296

Sign in to view logs

Add barebones Sugar2 theory to work out injection theorems

Add barebones Sugar2 theory to work out injection theorems #296

Triggered via push December 1, 2024 11:37
@jvanbrueggejvanbruegge
pushed 2acc34f
master
Status Success
Total duration 13m 22s
Artifacts –

build_theories.yml

on: push
build
13m 12s
build
Fit to window
Zoom out
Zoom in