Axioms and rules for Lean prover

Stream: new members

[None proffered]

Please send me axioms and rules of inference for Lean power at info@cec-services dot com for evaluation using our Meth8/VL4 modal model logic checker. Thank you.