Skip to content

v3.5.0

Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 27 Dec 21:44
fix(build): generate emscripten zip for releases (#92)