Duolei-Wang/goldfish
Goldfish Scheme / 金鱼Scheme
B.Sc of Math at SUSTech.
Repositories
Duolei-Wang/Duolei-Wang
Github pages.
Duolei-Wang/resume
Duolei-Wang/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Duolei-Wang/typst-packages
Packages for Typst.
Duolei-Wang/Duolei-Wang.github.io
Duolei-Wang/Dependent-Type-in-Haskell
Duolei-Wang/fonts
Duolei-Wang/Scheme-Interpreter
Duolei-Wang/Ai4Math-GroupTask
The STLC group task in Ai for Math.