Deploy Book

Merge branch 'leanprover:master' into master #3

Triggered via push June 29, 2024 20:25

OlingCat

master

Status Success

Total duration 37s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	2.12 MB