This website requires JavaScript.
Explore
Help
Register
Sign In
congyu
/
Hakysidian
Watch
1
Fork
0
You've already forked Hakysidian
Code
Issues
Pull Requests
Activity
10
Commits
2
Branches
0
Tags
6a3b4c5f889bbc8af702ba3dfd43df82e30b133b
Commit Graph
4 Commits
Author
SHA1
Message
Date
Yu Cong
6a3b4c5f88
Remove hakyll-blog.cabal and update .Proof CSS
2026-03-24 20:06:48 +08:00
Yu Cong
71611b0641
Increase body line-height and add theorem padding
2026-03-23 14:54:09 +08:00
Yu Cong
ecc0ab08f8
Add whitesmoke background to theorem environment
2026-03-21 14:53:22 +08:00
Yu Cong
c65e9722a5
first commit
2026-03-20 13:04:46 +08:00