https://1000-plus.github.io/

Modeling and Proving in Computational Type Theory

An Introduction to Lean 4

Formalize "Logic Notes" by Lou van den Dries in Lean

Code for the course "Proofs and Programs", January 2025, IISc

Advent of code 2019

Formalization of IMO shortlist problems in Lean 4

Bonn Lean course for winter 24/25

Curso Python para Matemáticas

Code and source for website for the course "Proofs and Programs", January 2023, Indian Institute of Science

How to read Lean

lean-fall-2024 course

A project to map out the relations between different equational theories of Magmas.

LLMs as Copilots for Theorem Proving in Lean

Mathematical Logic in Lean

Lean 4 logic

curso de topologia general, en formato leangame

Material auxiliar en Lean3 Para un curso de topología general.

The lean weekly challenge!

This is the repository for the Lean master program in Lyon for 2024-25

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Course repository for GlaMS - Formalising Mathematics in Lean (2024)

Repository for the September 2023 Hausdorff School on Lean