Zulip Chat Archive
Stream: new members
Topic: Porting Matlib4
Michael Wahlberg (Dec 30 2022 at 18:01):
Hey guys, I am a new guy here, so how do we port matlib4 into Lean4
Johan Commelin (Dec 30 2022 at 18:18):
Does this answer your question https://github.com/leanprover-community/mathlib4/wiki/Porting-wiki ?
Last updated: May 02 2025 at 03:31 UTC