Damath: Math checker. 横手 採用. What is a library in programming language. Lillås Horten.