Web3ReadList - https://sdiehl.github.io/zero-to-qed/01_introduction.htmlLean 4 教程 zero to qed

Web3ReadList

https://unnamed.website/posts/evolution-lean-programmer/ Lean 形式化证明 #formalVerify 编程语言的进化

https://sdiehl.github.io/zero-to-qed/01_introduction.html
Lean 4 教程 zero to qed

From Zero to QED

From Zero to QED: An informal introduction to formality in Lean 4

From Zero to QED: An informal introduction to formality in Lean 4

Powered by BroadcastChannel & Sepia