Pages

Alternate names for `List.concat` and `List.append`	Last updated 2023-12-05 21:34:07 +00:00
Computation models for polynomials and finitely supported functions	Last updated 2025-06-03 00:51:04 +00:00
Home	Last updated 2022-12-19 12:15:58 +00:00
Lean 4 survival guide for Lean 3 users	Last updated 2024-01-29 09:53:51 +00:00
Mathlib3 Synchronisation	Last updated 2023-05-19 17:42:28 +00:00
Metaprogramming for dummies	Last updated 2024-08-26 06:57:02 +00:00
Metaprogramming gotchas	Last updated 2025-12-07 08:09:38 +00:00
Migration to PRs from forks	Last updated 2025-06-18 04:26:22 +00:00
Monad map	Last updated 2025-04-09 15:12:39 +00:00
Porting wiki	Last updated 2023-07-16 02:11:32 +00:00
Project setup: following stable releases	Last updated 2026-02-03 17:37:26 +00:00
Project setup: globally shared mathlib installation	Last updated 2026-02-03 17:37:47 +00:00
Project setup: using local development version of a dependency	Last updated 2026-02-03 17:37:07 +00:00
RFC Exp function	Last updated 2025-04-07 15:34:30 +00:00
RFC: drop `Nat.AtLeastTwo`	Last updated 2025-04-10 04:30:24 +00:00
Setting up linting and testing for your Lean project	Last updated 2025-06-26 14:34:00 +00:00
Tradeoffs of concrete types defined as subobjects	Last updated 2024-07-25 08:01:10 +00:00
Using mathlib4 as a dependency	Last updated 2025-05-17 20:55:33 +00:00
Working with dependent PRs	Last updated 2024-07-02 21:02:08 +00:00