Pinned Repositories
bicmr-ai4math.github.io
https://bicmr-ai4math.github.io
Ai4Math-GroupTask
The STLC group task in Ai for Math.
Duolei-Wang
Github pages.
Duolei-Wang.github.io
fonts
Lambda-Calculus
math-in-lean
The user home repository for the Mathematics in Lean tutorial.
modern-sustech-thesis
typst-packages
Packages for Typst.
packages
Packages for Typst.
Duolei-Wang's Repositories
Duolei-Wang/modern-sustech-thesis
Duolei-Wang/Ai4Math-GroupTask
The STLC group task in Ai for Math.
Duolei-Wang/Duolei-Wang
Github pages.
Duolei-Wang/Duolei-Wang.github.io
Duolei-Wang/fonts
Duolei-Wang/Lambda-Calculus
Duolei-Wang/lang-Ruby
Duolei-Wang/lang-typst
A guidence for typst learning.
Duolei-Wang/math-in-lean
The user home repository for the Mathematics in Lean tutorial.
Duolei-Wang/typst-packages
Packages for Typst.