This repository has been archived by the owner on Dec 6, 2024. It is now read-only.

Add mathlib as reference #118

Open

StevenClontz opened this issue Jan 10, 2022 · 0 comments

Member

StevenClontz commented Jan 10, 2022

Per Jim Fowler's suggestion, we could link results that have been formalized in mathlib.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.