Merge pull request #1323 from cryspen/logand_lemma_plus #440

Triggered via push March 4, 2025 09:54

main

Status Success

Total duration 13m 44s

Artifacts 1

gh_pages.yml

on: push

Produced during runtime

Name	Size
github-pages	39.6 MB