https://fangbin.github.io/blog en Fri, 29 May 2026 02:37:36 GMT https://fangbin.github.io/blog/posts/pts-tutorial https://fangbin.github.io/blog/posts/pts-tutorial Mon, 05 Jan 2026 00:00:00 GMT 类型系统PTS依赖类型λ-CubeCoCCICCurry-Howard https://fangbin.github.io/blog/posts/de-bruijn-index https://fangbin.github.io/blog/posts/de-bruijn-index Sun, 04 Jan 2026 00:00:00 GMT 类型系统λ演算形式化验证De Bruijn https://fangbin.github.io/blog/posts/cic-intro https://fangbin.github.io/blog/posts/cic-intro Sat, 03 Jan 2026 00:00:00 GMT 类型系统CIC归纳类型CoqCurry-Howard https://fangbin.github.io/blog/posts/lambda-cube https://fangbin.github.io/blog/posts/lambda-cube Fri, 02 Jan 2026 00:00:00 GMT 类型系统λ-Cube依赖类型System FCoC https://fangbin.github.io/blog/posts/pts-intro https://fangbin.github.io/blog/posts/pts-intro Thu, 01 Jan 2026 00:00:00 GMT 类型系统形式化验证依赖类型PTS https://fangbin.github.io/blog/posts/02-specification https://fangbin.github.io/blog/posts/02-specification Wed, 10 Jan 2024 00:00:00 GMT 形式化方法规约 https://fangbin.github.io/blog/posts/01-introduction https://fangbin.github.io/blog/posts/01-introduction Fri, 05 Jan 2024 00:00:00 GMT 形式化方法入门