Skip to content
This repository has been archived by the owner on Nov 2, 2023. It is now read-only.

Add a Glossary page with 2 initial entries. #461

Merged
merged 5 commits into from
Aug 12, 2022

H4 for see also, as our H5 is smaller than Lean's.

7f57b0f
Select commit
Loading
Failed to load commit list.
Merged

Add a Glossary page with 2 initial entries. #461

H4 for see also, as our H5 is smaller than Lean's.
7f57b0f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs