FrightenedFox's repositories
mkdocs-mathenv-plugin
A simple environment support on mkdocs-material for math writing
typst-math-chinese
为中文数学书/讲义准备的 typst 模板
Linear-Algebra-Left-Undone
线性代数:未竟之美
TuringCourses
浙江大学图灵班课程学习指南
CASPlayground
Testing some algorithms for CAS in Rustlang
Language:Rust000
Language:Typst000
Language:Agda000