Build

def: missing reasoning combinators for elim/intro in displayed #3406

Triggered via push February 9, 2025 18:03

TOTBWF

Status Success

Total duration 13m 36s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	19.6 MB