Job 20250818-041550-887d8

Filename	Size	IA Identifier
www.lean-lang.org-inf-20250818-041550-887d8-00000.warc.gz	5551896	archiveteam_archivebot_go_20250818042540_3070a8d5
www.lean-lang.org-inf-20250818-041550-887d8-meta.warc.gz	11480	archiveteam_archivebot_go_20250818042540_3070a8d5
www.lean-lang.org-inf-20250818-041550-887d8.json	248	archiveteam_archivebot_go_20250818042540_3070a8d5