-
๐ผ 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: comonad@a-stable.com / hjsdbb1@gmail.com
-
Misc: avatar is ้ดๆจใใ from HIMEHINA.
From: 15 May 2026 - To: 22 May 2026
Total Time: 15 hrs 18 mins
Nix 8 hrs 10 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 51.21 %
TeX 2 hrs 1 min โโโโโโโโโโโโโโโโโโโโโโโโโ 12.63 %
C 1 hr 5 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 06.88 %
TOML 59 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 06.22 %
Coq 45 mins โโโโโโโโโโโโโโโโโโโโโโโโโ 04.70 %


