Study note

What is PLUS times PLUS?

View original Back to list

Properties

Type: Videos
Status: 待读
Domain: Compilers / PL
Category: 类型系统、形式化与定理证明
Source: youtube.com
Vault note: library/videos/compilers/What-is-PLUS-times-PLUS-9e6aa59aa5863da9.md

来自 2swap，收藏来源：CS。

已从 YouTube 学习收藏中归档，便于按领域安排观看与记录笔记。

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) Books · 类型系统、形式化与定理证明
Certified Programming with Dependent Types Books · 类型系统、形式化与定理证明
Metaprogramming in Lean 4 Books · 类型系统、形式化与定理证明
Software Foundations Books · 类型系统、形式化与定理证明
Theorem Proving in Lean 4 Books · 类型系统、形式化与定理证明
Type Theory and Formal Proof : An Introduction Books · 类型系统、形式化与定理证明

Loading comments...