https://theorem.se/2024/08/18/installera-lean-4/2025-01-19T12:16:36+00:00monthlyhttps://theorem.se/2024/12/24/en-hierarki-av-algebraiska-strukturer-gruppteori-i-lean/2024-12-24T11:03:09+00:00monthlyhttps://theorem.se/2024/12/21/en-hierarki-av-algebraiska-strukturer-i-lean/2024-12-24T11:00:08+00:00monthlyhttps://theorem.se/2024/12/17/en-enkel-formalisering-i-lean-n1-n-nn/2024-12-17T13:09:26+00:00monthlyhttps://theorem.se/2024/09/06/nagra-klassiska-satser-formulerade-i-lean/2024-09-06T08:42:30+00:00monthlyhttps://theorem.se/2024/08/29/grundlaggande-trigonometri-i-lean-mathlib-4/2024-08-29T21:48:15+00:00monthlyhttps://theorem.se/about/2024-08-18T20:37:42+00:00weekly0.6https://theorem.sedaily1.02025-01-19T12:16:36+00:00