Typecheck with latest Rzk

Merge pull request #123 from TashiWalde/right-orthogonal-3 #539

Sign in to view logs

Triggered via push October 22, 2023 14:43

emilyriehl

main

Status Success

Total duration 34s

Artifacts –

rzk.yml

on: push

Check formalisations