The Lowest Standard Notes Project

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.vscode		.vscode
.zed		.zed
Categorical Logic and Type Theory		Categorical Logic and Type Theory
Homotopy Type Theory		Homotopy Type Theory
assets		assets
autoArithExp		autoArithExp
tools/unison-sync		tools/unison-sync
人工智能时代的程序逻辑		人工智能时代的程序逻辑
代数学二		代数学二
几何学		几何学
同调代数		同调代数
哲学导论		哲学导论
复变函数		复变函数
常微分方程		常微分方程
并行与分布式计算		并行与分布式计算
应用回归分析		应用回归分析
抽象代数		抽象代数
数学模型		数学模型
数理统计		数理统计
数理逻辑		数理逻辑
普物2		普物2
机器学习基础		机器学习基础
机器学习数学导引		机器学习数学导引
杂项		杂项
泛函分析		泛函分析
理论力学		理论力学
理论计算机基础		理论计算机基础
经济学原理		经济学原理
编译原理		编译原理
英文文献阅读		英文文献阅读
计算方法B		计算方法B
计算机网络		计算机网络
论文		论文
软件分析		软件分析
.gitignore		.gitignore
README.md		README.md
backup_courses.sh		backup_courses.sh
flake.lock		flake.lock
flake.nix		flake.nix
scientific.typ		scientific.typ
template.typ		template.typ
typst-sympy-calculator.typ		typst-sympy-calculator.typ
update.sh		update.sh
view.sh		view.sh

Navigation Menu