Typecheck with latest Rzk

Merge pull request #112 from TashiWalde/right-orthogonal-calculus #486

Sign in to view logs

Triggered via push October 13, 2023 19:06

main

Status Success

Total duration 33s

Artifacts –

rzk.yml

on: push

Check formalisations