Comment on Show HN: FizzBee – Formal methods in PythonComments−sriram_malhar2yThis looks fantastic. Can't wait to translate some non-trivial TLA+ to test it out.−jayaprabhakarOP2yThank you. Please let me know how it goes. Also, I can work with you on modeling it if you need - I'll want to see where the language design is causing the issue−hwayne2yI'd also love to see what comes of this!
Comments
This looks fantastic. Can't wait to translate some non-trivial TLA+ to test it out.
Thank you. Please let me know how it goes. Also, I can work with you on modeling it if you need - I'll want to see where the language design is causing the issue
I'd also love to see what comes of this!