Big news. Saving and Opening Blawx Workspaces You can now save your work in the live demo of Blawx to a file on your local device, and load a workspace from a file on your device. This is a hugely important feature in order to let people use Blawx to solve real-world sized problems, so …
In order to be able to get at the power of Blawx, it’s important to be able to stop working on your code and come back to it later. We are planning on implementing a more full-featured save and load functionality in the future, but in order to give users something useful in the short …
Matthew Waddington (@mattwadd on Twitter) is a legislative drafter from Jersey, Channel Islands, who gave a presentation on formal logic as a tool for legislative drafters to a mini conference of parliamentary counsel (people who write laws) in the UK. Blawx is included as one of the tools that shows how you can bring formal …