coqide

6ısı

1cevap

Geçerli ortamda "X" referansı bulunamadı

Coq. Ilgili Yazılım Temelleri kitabındaki alıştırmaları tamamlamak için CoqIDE kullanıyorum. Basics.v'yi başarılı bir şekilde derleyebilirim, sonuçta Basics.vo ve Basics.glob dizinimden sonuçlanır. In