Typecheck with latest Rzk

Merge pull request #135 from StiephenPradal/Discrete-Fibers #635

Sign in to view logs

Triggered via push December 1, 2023 18:09

emilyriehl

main

Status Success

Total duration 36s

Artifacts –

rzk.yml

on: push

Check formalisations