iiinova — where your digital self keeps evolving

code4math Community

@code4math.org

Consortium of Digital Ecosystems for Mathematics | Join our AIMath.org community of researchers and developers at code4math.org

Posts Replies Media

code4math Community @code4math.org · 07/01/2026

It's been a great week with #MathSky at the #JMM2026! Thanks to everyone in the community who joined us last night at our reception, and let's continue the conversation online at the code4math.org Zulip!

132

code4math Community @code4math.org · 06/01/2026

We're here #JMM2026 #MathSky! See you soon!

An event space marked as closed for code4math

021

code4math Community @code4math.org · 20/11/2025

On Monday December 1, @clontz.org is going to share some of his favorite math projects on @github.com that you can take advantage of, and even contribute back to, using just your web browser! Join us for our final 2025 Convening at 3pm Eastern! scholarlattice.org/events/88a97...

Screenshot of Lean/mathlib development environment running in a web browser

063

code4math Community @code4math.org · 09/11/2025

code4math *for* the memes

042

code4math Community @code4math.org · 08/09/2025

Jan is now live with the House of Graphs!

011

code4math Community @code4math.org · 04/09/2025

Yaël Dillies will round out our first morning of presentations with Mathlib: Maintaining a monolith. Come join us Sep 8 as we learn about the new frontiers of formalizing mathematical proofs in Lean! preview.scholarlattice.org/collections/...

Screenshot of Lean/Mathlib source code and VS Code extension.

011

code4math Community @code4math.org · 09/01/2025

Jeremy is holding office hours for potential readers at our JMM booth 610 starting around 3pm today. Come talk with him and help identify the community's needs that such a book could help address! 2/2

030

code4math Community @code4math.org · 09/01/2025

Author @jeremykun.com of "A Programmers Introduction to Mathematics" is now writing "Programming for Mathematicians", an abridged CS degree accelerated by your math background, aimed at supporting a career switch into industry and/or writing software for research, and he needs your help! 1/2

162

code4math Community @code4math.org · 09/01/2025

Join us at the @jointmath.bsky.social Grand Opening at Booth 610 this evening at 6pm! Looking forward to meeting up with the community!

Photograph of the exhibit hall booth for code4math.org with a banner reading:

"Consortium of Digital Ecosystems for Mathematics. Software. Databases. Infrastructure. Community. Join our open community of researchers and developers at code4math.org!"

062