# ImperialCollegeLondon/formalising-mathematics-2022

<https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics-2022>

[Accueil](https://repo.masters-masters.com/) › [ImperialCollegeLondon](https://repo.masters-masters.com/owners/ImperialCollegeLondon) › [formalising-mathematics-2022](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics-2022)

ImperialCollegeLondon/formalising-mathematics-2022, dépôt open source à 121 étoiles sur GitHub. Carte Prototype de RepoMasters. Lean 3 material for Kevin…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ImperialCollegeLondon](https://repo.masters-masters.com/owners/ImperialCollegeLondon) |
| Étoiles | 121 |
| Forks | 22 |
| Langage | [Lean](https://repo.masters-masters.com/languages/lean) |
| Licence | Aucune |
| Création | 2022 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [ImperialCollegeLondon/formalising-mathematics-2022](https://github.com/ImperialCollegeLondon/formalising-mathematics-2022) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de ImperialCollegeLondon

- [ImperialCollegeLondon/FLT · ★ 1 056 · Lean · Bêta](https://repo.masters-masters.com/repos/ImperialCollegeLondon/FLT)
- [ImperialCollegeLondon/covid19model · ★ 941 · Stan · Bêta](https://repo.masters-masters.com/repos/ImperialCollegeLondon/covid19model)
- [ImperialCollegeLondon/formalising-mathematics · ★ 317 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics)
- [ImperialCollegeLondon/natural\_number\_game · ★ 305 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/natural_number_game)
- [ImperialCollegeLondon/formalising-mathematics-2024 · ★ 264 · Lean · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/formalising-mathematics-2024)
- [ImperialCollegeLondon/sap-voicebox · ★ 255 · MATLAB · Alpha](https://repo.masters-masters.com/repos/ImperialCollegeLondon/sap-voicebox)

## D’autres dépôts Lean

- [blanchette/logical\_verification\_2023 · ★ 122 · Lean · Prototype](https://repo.masters-masters.com/repos/blanchette/logical_verification_2023)
- [emilyriehl/infinity-cosmos · ★ 122 · Lean · Prototype](https://repo.masters-masters.com/repos/emilyriehl/infinity-cosmos)
- [TwoFX/sudoku · ★ 121 · Lean · Prototype](https://repo.masters-masters.com/repos/TwoFX/sudoku)
- [avigad/lamr · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/avigad/lamr)
- [rami3l/PLFaLean · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/rami3l/PLFaLean)
- [google-deepmind/debate · ★ 120 · Lean · Prototype](https://repo.masters-masters.com/repos/google-deepmind/debate)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.