search

sanjar-notes / swe-tools

Software engineering culture and tools
0 stars 0 forks source link

Verification, proving, TLA+ blogs #14

Open sanjarcode opened 10 months ago

sanjarcode commented 10 months ago

https://hillelwayne.com/

rabbit hole start: https://github.com/tvler/prop-sets#further-reading, https://hillelwayne.com/post/why-dont-people-use-formal-methods/