159 followers
RT @esumii: CoqというかCiCとかで帰納法の原理とinversionの関係がどうなってるのかググっ()たらガチ論文があった.https://t.co/IHJwINpFVa
RT @esumii: CoqというかCiCとかで帰納法の原理とinversionの関係がどうなってるのかググっ()たらガチ論文があった.https://t.co/IHJwINpFVa
https://t.co/6FCOD546Or (古いので今は状況が違うかもしれません
CoqというかCiCとかで帰納法の原理とinversionの関係がどうなってるのかググっ()たらガチ論文があった.https://t.co/IHJwINpFVa