Fork me on GitHub
#events
<
2021-07-11
>
bruno.bonacci12:07:38

If you are into model checking or find TLA+ painful join us at the London Clojurians meetup: Recife - Testing your code with the help of a model checker (by Paulo Feodrippe) https://www.meetup.com/London-Clojurians/events/279398890/

🥥 3
🦈 3
🌴 2
🛡️ 2