Lean 4 på svenska
En blogg om formalisering av matematik i Lean 4.
2024-12-24
En hierarki av algebraiska strukturer (gruppteori) i Lean
2024-12-21
En hierarki av algebraiska strukturer (ringteori) i Lean
2024-12-17
En enkel formalisering i Lean: (n+1)! – n! = n!n
2024-09-06
Några klassiska satser formulerade i Lean
2024-08-29
Grundläggande trigonometri i Mathlib
2024-08-18
Installera Lean och Mathlib
Prenumerera
Prenumererad
Lean 4 på svenska
Registrera mig
Har du redan ett WordPress.com-konto?
Logga in nu.
Lean 4 på svenska
Prenumerera
Prenumererad
Registrera
Logga in
Rapportera detta innehåll
Visa webbplats i Läsare
Hantera prenumerationer
Minimera detta fält
Lean 4 på svenska 