Skip to content

Override default methods in BasicProverEnvironment for all delegates - #685

Open
daniel-raffler wants to merge 16 commits into
masterfrom
672-methods-with-default-implementations-missing-from-delegates
Open

Override default methods in BasicProverEnvironment for all delegates#685
daniel-raffler wants to merge 16 commits into
masterfrom
672-methods-with-default-implementations-missing-from-delegates

Allow boolean formulas to be evaluated by `eval` in SynchronizedEvalu…

71ca20c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar