Searched defs:supported (Results 1 - 1 of 1) sorted by relevance

/hets/doc/
H A DUserGuide.tex182 currently supported logics and logic translations (the latter are also
232 \section{Logics supported by Hets}
235 \cite{GoguenBurstall92}) is currently supported by \Hets:
241 \caption{Graph of logics currently supported by \Hets. The more an
242 ellipse is filled with green, the more stable is the implementation of the logic. Blue indicates a prover-supported logic.}
463 Various logics are supported with proof tools. Proof support for the
465 prover-supported logic.
480 \section{Logic translations supported
497 \caption{Graph of most important sublogics currently supported by \Hets,
503 supported b
[all...]

Completed in 11 milliseconds