- 1 名前：デフォルトの名無しさん mailto:sage [2011/03/13(日) 21:05:23.37 ]
- こけこっこー
coq.inria.fr/
- 136 名前：デフォルトの名無しさん mailto:sage [2012/03/09(金) 23:40:56.06 ]
- Inductive Fin : nat -> Type :=
| FinO n : Fin (S n)
| FinS n : Fin n -> Fin (S n).
というのをcoq-clubで見た。
- 137 名前：名無しさん [2012/03/15(木) 01:21:22.24 ]
- ネット務
- 138 名前：デフォルトの名無しさん [2012/03/20(火) 10:49:54.36 ]
- >>135
>>136
ありがとうございました。
またやってみます。
- 139 名前：デフォルトの名無しさん [2012/04/19(木) 09:20:01.83 ]
- Software Foumdationsの翻訳がとりあえず最後まで終わりました！
というわけでお願いなのですが、読んでください。
で、誤字脱字誤訳など指摘頂けると助かります。
|
 |
