Typecheck with latest Rzk

Uniqueness of adjunction data #586

Sign in to view logs

Triggered via pull request October 27, 2023 17:04

emilyriehl

synchronize #131

more-adjunctions

Status Success

Total duration 41s

Artifacts –

rzk.yml

on: pull_request

Check formalisations