Blog
Lean série 04: LinpermVaše oblíbená taktika na cestě k mistrovství.
Lean série 03: TaktikyNedělejte ručně, co můžete zautomatizovat!
Lean série 02: UkázkaKonkrétní příklady, říkáte? Už bylo na čase!
Série o Leanu 01: ÚvodStručné seznámení s nástrojem nejen pro formalizaci matematiky.
Nevím, dálJste-li na pochybách, zpochybněte své myšlenky.
Pr(v)o(b)logÚplně první příspěvek, ať už z toho plyne cokoli.