Module Trace (.ml)

module Trace: sig .. end
Certificate traces for external verifiers


Certificate traces for external verifiers
module type S = sig .. end
The interface of certificate generators
module AltErgo: S 
A certificate generator for the SMT solver Alt-Ergo
module Why3: S 
A certificate generator for the deductive platform Why3.
module Selected: S 
The certificate generator selected by the command line options.