yhtq

Pinned Repositories

cvse
收录/制作模板用
Language:Python00
FinalHomework-23Creation
Language:Python0 1 00
Frontiers-Homework-Paper-2022
Language:TeX0 0 00
haskellvic3
Language:Haskell0 1 00
lean_files
Language:Lean1 1 00
LeanSearchDocs
20
lemmify
A library for typesetting mathematical theorems in typst.
Language:Typst0 0 00
Notes
课程笔记
Language:Typst2 1 00
Qt-
Language:Makefile01
quicssh-rs
QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.
Language:Rust0 0 00

yhtq's Repositories

yhtq/LeanSearchDocs
20
yhtq/Notes
课程笔记
Language:Typst2 1 00
yhtq/lean_files
Language:Lean1 1 00
yhtq/cvse
收录/制作模板用
Language:Python00
yhtq/FinalHomework-23Creation
Language:Python0 1 00
yhtq/Frontiers-Homework-Paper-2022
Language:TeX0 0 00
yhtq/haskellvic3
Language:Haskell0 1 00
yhtq/lemmify
A library for typesetting mathematical theorems in typst.
Language:Typst0 0 00
yhtq/Qt-
Language:Makefile01
yhtq/quicssh-rs
QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.
Language:Rust0 0 00
yhtq/test
Language:Lean0 1 00