Combined display of all available logs of ProB Documentation.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
18:20, 27 January 2021Michael Leuscheltalkcontribs deleted page ProB Logic Calculator old(content was: "Below is a ProB-based [http://research.microsoft.com/en-us/um/people/lamport/tla/logic-calculators.html logic calculator]. You can enter predicates and expressions in the upper window (using B syntax), and then press the "Evaluate" button to ask ProB to evaluate the formula. Variables are assumed to be implicitly existentially...", and the only contributor was "Michael Leuschel" (talk))