涉及天平的娱乐谜题的Coq形式化。,Formalization in Coq of recreational puzzles involving scales., (2016-01-30, Coq, 0KB, 下载0次)