Skip to content
Typecheck with latest Rzk

Further progress on right orthogonal calculus #485

Sign in to view logs

Further progress on right orthogonal calculus

Further progress on right orthogonal calculus #485

Triggered via pull request October 13, 2023 19:04
@TashiWaldeTashiWalde
synchronize #112
TashiWalde:right-orthogonal-calculus
Status Success
Total duration 38s
Artifacts –

rzk.yml

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