GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-07 02:46:33 +00:00
Code Issues Projects Releases Packages Wiki Activity
RFC Exp function
Eric Wieser edited this page 2025-04-07 16:34:30 +01:00

Page revisions

3 Commits

Author SHA1 Message Date
Eric Wieser
6601ab9be1 Link the tracking issue. 2025-04-07 16:34:30 +01:00
Jireh Loreaux
e20a5094b6 add comments about minimizing imports 2025-04-07 10:31:31 -05:00
Yury G. Kudryashov
4f30c9b174 Created RFC/Exp function (markdown) 2025-04-07 09:54:14 -05:00