- 😼 I'm an undergraduate @ SJTU-SPEIT.
- 🔭 I'm currently working on Formal Verification with Rocq (formally Coq) Prover.
- 🌱 I'm currently learning Operating System, Type Theory, Program Logic, etc.
- 👯 I'm looking to collaborate on NixOS contribution.
- 💬 Working languages: 中文(普通话), English, Français. Feel free to ask me anything about SJTU-SPEIT.
- 📫 How to reach me via e-mail: hjsdbb1@gmail.com
From: 17 December 2025 - To: 24 December 2025
Total Time: 4 hrs 22 mins
Coq 1 hr 18 mins ███████▒░░░░░░░░░░░░░░░░░ 29.62 %
Nix 57 mins █████▒░░░░░░░░░░░░░░░░░░░ 21.82 %
Markdown 42 mins ████░░░░░░░░░░░░░░░░░░░░░ 15.97 %
C 24 mins ██▒░░░░░░░░░░░░░░░░░░░░░░ 09.36 %
CSS 15 mins █▒░░░░░░░░░░░░░░░░░░░░░░░ 05.75 %