GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-06 18:36:38 +00:00
Code Issues Projects Releases Packages Wiki Activity
Page: Home
Pages
Alternate names for `List.concat` and `List.append` Computation models for polynomials and finitely supported functions Home Lean 4 survival guide for Lean 3 users Mathlib3 Synchronisation Metaprogramming for dummies Metaprogramming gotchas Migration to PRs from forks Monad map Porting wiki Project setup: following stable releases Project setup: globally shared mathlib installation Project setup: using local development version of a dependency RFC Exp function RFC: drop `Nat.AtLeastTwo` Setting up linting and testing for your Lean project Tradeoffs of concrete types defined as subobjects Using mathlib4 as a dependency Working with dependent PRs
69 Home
Reid Barton edited this page 2022-12-19 13:15:58 +01:00

Welcome to the mathlib4 wiki!