Update 06_macros.lean #83

Triggered via pull request February 28, 2025 21:21

6elphegor

opened #164

6elphegor:patch-2

Status Success

Total duration 27s

Artifacts 1

deploy.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	1.63 MB	`sha256:674b06b3adffe80db8118e0d16c7b3f89812d2457be4df1b80ff9b10f257ae81`