Toggle navigation
晚春 Blog
Home
About
Archive
Archive
「我干了什么 究竟拿了时间换了什么」
Show All
11
笔记
9
Coq
9
SF (软件基础)
9
PLF (编程语言基础)
7
LF (逻辑基础)
2
2025
如何使用西格玛播放器
2020
My Programming Languages Spectrum
我的编程语言光谱
2019
「SF-PLF」19 PE
Programming Language Foundations - Partial Evaluation
「SF-PLF」18 UseAuto
Programming Language Foundations - Theory And Practice Of Automation In Coq Proofs
「SF-PLF」17 UseTactics
Programming Language Foundations - Tactic Library For Coq
「SF-PLF」16 LibTactics
Programming Language Foundations - A Collection of Handy General-Purpose Tactics
「SF-PLF」15 Norm
Programming Language Foundations - Normalization of STLC
「SF-PLF」14 RecordSub
Programming Language Foundations - Subtyping with Records
「SF-PLF」13 References
Programming Language Foundations - Typing Mutable References
「SF-LC」16 Auto
Logical Foundations - More Automation
「SF-LC」15 Extraction
Logical Foundations - Extracting ML From Coq