How do I prove the last one in session 4: (A∨(A→⊥)→⊥)→⊥ ? On Monday, April 1, 2019 at 3:00:00 AM UTC+2, David A. Wheeler wrote: > > FYI: I've just learned about The Incredible Proof Machine: > > http://incredible.pm/ > >
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/65ae121f-beb9-4800-939e-93a20b0d3696%40googlegroups.com.
