风骚鸭网
coquette duck web (2024-03-10, TypeScript, 0KB, 下载0次)
土地页面指挥官coquinha 500
Land page commander coquinha 500 (2024-02-01, HTML, 0KB, 下载0次)
涉及天平的娱乐谜题的Coq形式化。，
Formalization in Coq of recreational puzzles involving scales., (2016-01-30, Coq, 0KB, 下载0次)