Writing Math Proofs using Lean4 in Visual Studio Code

Writing Math Proofs using Lean4 in Visual Studio Code

|
Chargement...
SSS TikTok Downloader

Vidéo Suivante

10 minute Lean tutorial : proving logical propositions
10 minute Lean tutorial : proving logical propositions
|

Vidéos Similaires

10 minute Lean tutorial : proving logical propositions

10 minute Lean tutorial : proving logical propositions
Getting Started with Lean 4 in Visual Studio Code

Getting Started with Lean 4 in Visual Studio Code