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`

Photo Gallery

Proving true statements in Lean but it gets cursed
Introductory Proof with Lean 4 - Natural Numbers
Logic in Lean, video 2 (true, false, not)
Sponsored
View Detailed Profile
Proving true statements in Lean but it gets cursed

Proving true statements in Lean but it gets cursed

In this video I play one of the few games intended to be practical

Introductory Proof with Lean 4 - Natural Numbers

Introductory Proof with Lean 4 - Natural Numbers

Follow along as I learn how to use an automated

Logic in Lean, video 2 (true, false, not)

Logic in Lean, video 2 (true, false, not)

I explain how to use tactics such as `trivial`, `exfalso`