Conjecture that Lean Prover is bivalent

Stream: maths

[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.