2024-W40 › 🔗 › 2024-10-06 [2024-10-06]
✍️source

 
#apl #os #tla #z3
- found ipe that is used extensively in tungsteno (source)
- Why I use TLA+ and not(TLA+), learn about PlusCal, Quint and Apalache (TLA+ to Z3)
- trying to figure out if TLA+ can be run in browser via TeaVM or CheerpJ