Another proof for Flat.lean #47

Triggered via push October 11, 2024 15:47

su00000

master

Status Success

Total duration 9m 53s

Artifacts 1

docs.yaml

on: push

Produced during runtime

Name	Size
github-pages Expired	15.3 MB