You are RTE and PM together with Agile Coaches doing PI planning with 100+ participants for a highly regulated critical infrastructure project. No hybridstyle. Everybody in the room.
Intrinsically motivated teams. Feedback is important.
What would you use?
| Mentimeter | |
| Kahoo | |
| other tool (which?) | |
| paper or e-mail |
| More Agile Coaches | |
| More Engineers | |
| Less Agile Coaches | |
| Less Engineers |
I am aghast to discover that “coding camp” type publications on proof assistants, like #Agda and #Lean, do exist, complete with the all-too-common modern #IT anthem, “No need to know any mathematics”, emblazoned across the introduction, and subsequent pages littered with code samples, without proofs.
There are two primary uses of a proof assistant: to do mathematics and to write verified programmes. Both uses are built upon writing formal proofs. Without writing proofs, a proof assistant is almost an inconvenient, inefficient #programming language.
"How do we balance the creativity needed to discover new mathematical connections with the rigor needed to ensure that every logical step is undeniable?"
Agile ♻️ Agilist.in
Matthias
amen zwa, esq.
Soh Kam Yung
Boyd Stephen Smith Jr.
Fraser Tweedale