Hi 👋, I'm Haisheng

A programmer

How I spent my time last week

Lean4          2 hrs 27 mins   ███████████▓░░░░░░░░░░░░░   46.07 %
OrgMode        2 hrs 3 mins    █████████▓░░░░░░░░░░░░░░░   38.77 %
LilyPond       25 mins         ██░░░░░░░░░░░░░░░░░░░░░░░   08.12 %
Image (jpeg)   12 mins         █░░░░░░░░░░░░░░░░░░░░░░░░   03.87 %
Git            7 mins          ▓░░░░░░░░░░░░░░░░░░░░░░░░   02.20 %
Other          3 mins          ▒░░░░░░░░░░░░░░░░░░░░░░░░   00.97 %

GitHub Stats