Paul-Lez

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

lectures-labs

Slides and Jupyter notebooks for the Deep Learning lectures at Master Year 2 Data Science from Institut Polytechnique de Paris

Stacks-project

gpt-json

Structured and typehinted GPT responses in Python

pydantic

Data validation using Python type hints

char-rnn

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

flat

Equivalent definitions of flatness

LeanCamCombi

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean

mathlib4

The math library of Lean 4

chessmate

chessmate is a python package that enables analyses and defining of chess engines

sunfish

Sunfish: a Python Chess Engine in 111 lines of code

e2e-learning-self-driving-cars

🚗 𝖀𝖓𝖔𝖋𝖋𝖎𝖈𝖎𝖆𝖑 PyTorch implementation of "End-to-End Learning for Self-Driving Cars" (arXiv:1604.07316) with Udacity's Simulator

leandiscord-weekly

Weekly challenges for the Lean Discord Server.

formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4