Skip to content
/ Simons2025 Public
forked from hrmacbeth/Simons2025

Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"

0 stars 11 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

fbarroero/Simons2025

BranchesTags
 
 

Repository files navigation

This repository contains the teaching materials for the June 2025 Simons Foundation workshop on Lean, taught by Antoine Chambert-Loir, Alex Kontorovich, and Heather Macbeth.

You can run the code on the web using GitHub Codespaces, by clicking this link:

Open in GitHub Codespaces

About

Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"

Resources

Readme
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages

  • Lean 99.0%
  • Python 1.0%