Masaki Hara's repositories
lightjudge
Lightweight Judge Server for ICPC qualification round in Japan
joi-sp-tr-sol
nazo
validation
validation.hpp: An alternative to testlib.h
build-coq
Build Coq in Windows
Language:PerlNOASSERTION000
Lightweight Judge Server for ICPC qualification round in Japan
nazo
validation.hpp: An alternative to testlib.h
Build Coq in Windows