DeepSeek Prover V2 is designed for formal theorem proving in Lean 4. It can be directly installed on Windows 11/10. This guide shows how to use WSL to install it.

If you want to download, install and use DeepSeek R1 or V3 AI locally on your Windows 11/10 computer, this guide will show you how to do it.

While the DeepSeek AI is available on iPhone, Android, and the web, you should run it locally on Mac and PC for free - here's how to do it.