https://lean-lang.org/
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
lean programminglanguage
https://federicocarrone.com/series/theorem-proving/programming-a-mini-lean-in-julias-type-system/
Programming a Mini-Lean in Julia's Type System | Federico Carrone
Guillermo Angeris builds a working theorem prover in 61 lines of Julia. A tiny trusted kernel, six axioms, and the compiler does the rest. This article walks...
lean ins typeprogrammingmini
https://www.lean-agility.de/search/label/Extreme%20Programming
On Lean and Agility: Extreme Programming
Essays und Praxisberichte über Scrum, Agile, Kanban und Change Management
leanagilityextremeprogramming
https://lean-lang.org/functional_programming_in_lean/index.html
Functional Programming in Lean
functional programminglean
https://informationsystemsbiology.blogspot.com/2011/11/lean-it-devops-and-cloud-programming.html?showComment=1547200721821
Biology of Distributed Information Systems: Lean IT, Devops and Cloud Programming
I have become more and more interested with lean IT over the years. It started with the book "The Art of Lean Software Development" by Cu...
devops and cloudinformation systemslean itbiologydistributed