Media Summary: In this video I play one of the few games intended to be practical Follow along as I learn how to use an automated I explain how to use tactics such as `trivial`, `exfalso`
Proving True Statements In Lean But It Gets Cursed - Detailed Analysis & Overview
In this video I play one of the few games intended to be practical Follow along as I learn how to use an automated I explain how to use tactics such as `trivial`, `exfalso`
