docs: add "How do I cite mathlib?" page · leanprover-community/leanprover-community.github.io@4c628f1

Triggered via pull request February 2, 2026 03:33

kim-em

synchronize #781

Status Success

Total duration 7m 50s

Artifacts 1

build_pr.yml

on: pull_request

Produced during runtime

Name	Size	Digest
site	2.84 MB	`sha256:8c27dda4558ba13c68629534530c332ea20ef22ebd67ac254413347e1fd0ecd5`