Demos
This section collects several small projects that demonstrate more diverse uses of the BlueRock's proof automation. While the code is freely browseable here, please contact us to get access to additional per-project configurations needed to run them locally.