luutrungduc

Student at HCMIU

Ho Chi Minh city

Pinned Repositories

CoqCP
We combat sloppy arguments in competitive programming and raise the standard of rigor
Language:Coq22 2 592
cmd-lib
Language:Jupyter Notebook00
kactl
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
Language:C++10
scalar
Scalar block chain
00
scalaris
Language:Rust1 1 180

luutrungduc's Repositories

luutrungduc/kactl
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
Language:C++10
luutrungduc/cmd-lib
Language:Jupyter Notebook00