Verify With Real Projects
There are already hundreds of test cases available in OpenBrIM.Verify through OpenBrIM.Library. You can add your own verification problems through OpenBrIM.Incubator or add your project files to the verification system within OpenBrIM platform app.