Use "descriptive words" a lot? You can jump
right to this page by putting a "!" at the end of your search
right to this page by putting a "!" at the end of your search
Things fixpoint often describes (“fixpoint ________”)
semantics, induction, command, approach, logics
How fixpoint often is described (“________ fixpoint”)
least, greatest, unique, minimal, weak, abstract, post, pre, stable, trivial, inner, inflationary, weakest
Commonly used words are shown in bold. Rare words are dimmed.
Click on a word above to view its definition.
Click on a word above to view its definition.