Publish all open files to an anonymous github gist.
Copy all files to another instance of Browser-solidity.
You can also load a gist by adding the following #gist=GIST_ID to your url, where GIST_ID is the id of the gist to load.
This tab provides support for formal verification of Solidity contracts.
This feature is still in development and thus also not yet well documented, but you can find some information here. The compiler generates input to be verified (or report errors). Please paste the text below into http://why3.lri.fr/try/ to actually perform the verification. We plan to support direct integration in the future.