#coq 去年末、スマリヤンのコンビネータ論理を使ったパズル本を手に入れて、これcoqで出来るんかもかもと試してみた。 出来んかった・・・本の回答だと、 forall x : Bird, exists C : Bird, bird_respond C x = bird_respond A (bird_respond M x)で xにCを…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。