Stellary's Notes
Home
About
Tags
Categories
Archives
Um..! 18 posts in total. Keep on posting.
2024
03-04
Tensor Analysis (3) Tensor Calculus
02-22
Windows 下 VsCoq 配置踩坑记录(基于 wsl)
01-25
在 Agda 中定义演绎系统并进行定理证明
01-25
数理逻辑 (2) 谓词逻辑
01-22
数理逻辑 (1) 命题逻辑
01-17
Information and Entropy (7) Processes
01-15
Information and Entropy (6) Communication
01-05
Revision | 信息科学中的物理学(上)热学(和一点统计力学)
2023
12-27
Agda 定义中带 with 的函数的归纳:with inspect 和 ⊥ 的使用
12-25
Revision | 高等数学 A(期末)
1
2
0%
Theme NexT works best with JavaScript enabled