qwjyh
0 followers · 0 following
  • Joined on 2024-04-19
Repositories
7
 Projects Packages Public activity Starred repositories
1
qwjyh synced commits to refs/pull/10/head at qwjyh/xdbm from mirror 2024-04-26 01:21:38 +09:00
607013c649 fixup! [fix] test: setup gitconfig at repo init
qwjyh synced commits to refs/pull/10/merge at qwjyh/xdbm from mirror 2024-04-26 01:21:38 +09:00
2b0c689d73 Merge 607013c649 into 6bb1893fa2
607013c649 fixup! [fix] test: setup gitconfig at repo init
Compare 2 commits »
qwjyh synced new reference setup-ci to qwjyh/xdbm from mirror 2024-04-25 17:11:36 +09:00
qwjyh synced commits to setup_ci-1 at qwjyh/xdbm from mirror 2024-04-25 17:11:36 +09:00
qwjyh synced new reference setup_ci-1 to qwjyh/xdbm from mirror 2024-04-25 17:11:36 +09:00
qwjyh synced commits to setup-ci at qwjyh/xdbm from mirror 2024-04-25 17:11:35 +09:00
qwjyh pushed to main at scratches/tp_lean 2024-04-22 20:51:01 +09:00
4710ca1976 (WIP) mid of exercises on quantifiers_and_equality
qwjyh pushed to main at scratches/tp_lean 2024-04-21 10:13:22 +09:00
369f68c9a7 proposition and proofs
qwjyh pushed to main at scratches/tp_lean 2024-04-20 20:41:33 +09:00
3eb2bdcf12 (WIP) exercise
qwjyh pushed to main at scratches/tp_lean 2024-04-20 17:20:22 +09:00
5aa2ea416c WIP
qwjyh created branch main in qwjyh/CoordVisualize 2024-04-20 13:32:52 +09:00
qwjyh pushed to main at qwjyh/CoordVisualize 2024-04-20 13:32:52 +09:00
efc37be087 bump version
69a47a24e8 update doc
49fa679d9a interactive edits
e5db3cd694 new: interactive edit
d99771045e 2d visualization
Compare 10 commits »
qwjyh created repository qwjyh/CoordVisualize 2024-04-20 13:32:22 +09:00
qwjyh pushed to main at scratches/tp_lean 2024-04-20 13:29:11 +09:00
308bf51494 init (3.2 negation)
qwjyh created branch main in scratches/tp_lean 2024-04-20 13:29:10 +09:00
qwjyh created repository scratches/tp_lean 2024-04-20 13:28:06 +09:00
qwjyh created branch master in PKGBUILDs/ttf-juisee-bin 2024-04-19 21:37:15 +09:00
qwjyh pushed to master at PKGBUILDs/ttf-juisee-bin 2024-04-19 21:37:15 +09:00
095d490943 rename (add suffix -bin) & update to 0.0.5
3be6e1276d bump version to 0.0.4 and add HW fonts
147f41a0bd init
qwjyh created repository PKGBUILDs/ttf-juisee-bin 2024-04-19 21:37:00 +09:00
qwjyh created branch master in PKGBUILDs/makefontpkg-git 2024-04-19 21:35:12 +09:00