|
|
|---|
|
|
|
|---|
A demo and a case where side-conditions of RP-Rewriter are used.
Below is a list of events where we use the side-conditions feature of RP-Rewriter to verify a conjecture.
This documentation is still under construction, please see books/projects/rp-rewriter/demo.lsp for the demo events.