11/05/12 21:32:29.01
Coqで証明たてるのって、結構大変なんじゃないの？そこそこの経験者らしいよ。
相対論から量子コンピューターまでの英論文は、高校時代読むだけなら自分もやってたけど、使いこなしたことはない。
11/05/12 21:32:29.01
Coqで証明たてるのって、結構大変なんじゃないの？そこそこの経験者らしいよ。
相対論から量子コンピューターまでの英論文は、高校時代読むだけなら自分もやってたけど、使いこなしたことはない。
11/05/12 21:32:29.01
Coqで証明たてるのって、結構大変なんじゃないの？そこそこの経験者らしいよ。
相対論から量子コンピューターまでの英論文は、高校時代読むだけなら自分もやってたけど、使いこなしたことはない。