Skip to content

Representable isos #633

Representable isos

Representable isos #633

Triggered via pull request November 30, 2023 17:30
Status Success
Total duration 40s
Artifacts

rzk.yml

on: pull_request
Check formalisations
30s
Check formalisations
Fit to window
Zoom out
Zoom in