chore: update section concerning export format · ammkrn/type_checking_in_lean4@5c02f41

Triggered via push February 19, 2026 08:13

ammkrn

main

Status Success

Total duration 2m 0s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.35 MB	`sha256:4ea0005e7322541953848de749e457accdc6cd05f738e881b3064b16325e6ff7`