魚拓のURL：https://megalodon.jp/2017-0317-0404-18/www.randomhacks.net/2015/07/19/proving-sorted-lists-correct-using-coq-proof-assistent/

理由 （必須）

確認

ご入力内容は「個人情報のため」「わいせつ物のため」といった分類以外公開されませんので、ご安心ください。