Zulip Chat Archive
Stream: maths
Topic: Conjecture that Lean Prover is bivalent
None proffered (Aug 07 2018 at 17:12):
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.
Last updated: Dec 20 2023 at 11:08 UTC