Dolmen_class
module Logic : sig ... end
Logic languages for formal proofs
module Response : sig ... end
Response languages for formal proofs