GitHub for Mathematicians

PreTeXt

¹

pretextbook.org/

is an authoring and publishing system for scholarly documents, especially in STEM disciplines. Works authored in PreTeXt can be converted to HTML, PDF, braille, and many other formats. This book was written in PreTeXt!

PreTeXt is particularly well-suited for the creation of interactive and accessible Open Educational Resources in mathematics and computer science. Works authored in PreTeXt can be deployed to Runestone Academy

²

runestone.academy

, allowing students to log into their textbook and persist progress on exercises and activities.

The PROSE Consortium

³

prose.runestone.academy

forms the broader ecosystem serving open-source STEM open educational resources and offers regular drop-in meetings for community members to learn more about its products, which also include WeBWorK

⁴

openwebwork.org/

and Doenet

⁵

www.doenet.org/

.

Getting Started with PreTeXt

⁶

stevenclontz.github.io/pretext-getting-started-2023

is a tutorial that uses GitHub Codespaces to get authors up and writing quickly, and helps them share their works on GitHub and GitHub Pages.

To paraphrase Mary Ellen Rudin, “topology is a dense forest of counterexamples, and a usable map of the forest is a fine thing.”. The \(\pi\)-Base

¹

topology.pi-base.org/

aims to serve as this atlas, turning the classic text Counterexamples in Topology

²

zbmath.org/0211.54401

into an open, living, and interactive database supported by a community of researchers, instructors, and students.

To learn how to contribute to the \(\pi\)-Base, a tutorial

³

github.com/pi-base/data/wiki/Tutorial

is available to walk through the process of editing its data and previewing it in your own Codespace.

The Lean theorem prover

¹

leanprover-community.github.io/

is an interactive proof assistant that allows mathematicians to formally verify their proofs by computer.

The textbook Mathematics in Lean

²

github.com/leanprover-community/mathematics_in_lean?tab=readme-ov-file#to-use-this-repository-with-github-codespaces

provides an excellent introduction to authoring in Lean, with GitHub Codespaces support.

(For a more casual experience outside GitHub, the Lean game server

³

adam.math.hhu.de/

has fun tutorials for both Peano axioms and naive set theory.)

In December 2023, the American Institute of Mathematics hosted a workshop of researchers to explore the future of sociotechnical infrastructure for mathematics. One outcome of this work was the establishment of https://code4math.org, a community for mathematicians engaged in this work.

The PROSE Consortium is a community of instructors, developers, and researchers focusd on open-source tools and resources for mathematics and computer science education. You can engage with this group by visiting their homepage at https://prose.runestone.academy.