5
Coqide'de, ispat durumunu belirli bir notasyon kullanmama (ama yine de diğerlerini kullanmam) istiyorum.Coq'deki belirli bir gösterimi devre dışı bırakmanın bir yolu var mı?
Bu mümkün mü?
A
cevap
0
Dokümantasyonda anladığım kadarıyla, bu mümkün değildir. Açılış/kapanış kapsamları ile oynayabiliyor olabilirsiniz, ancak çalışmanın mümkün olduğundan emin değilim, çünkü mümkünse baskı için notasyonların kullanılacağını açıkça belirtmiştir. yeterli olabilir
0
Bazı hileler burada açıklanmıştır: How to disable my custom notation in Coq?
bu soru Google'da ilk çıkageldi çünkü cevaba işaretçi eklemek istedim.
İlgili konular
- 1. Bir etiketi devre dışı bırakmanın bir yolu var mı?
- 2. xml uyarılarını devre dışı bırakmanın bir yolu var mı?
- 3. Tek bir test için PHPUnit'te kod kapsamını devre dışı bırakmanın bir yolu var mı?
- 4. Bir onclick başlatıldığında iPad/iPhone'daki flaş/yanıp sönmeyi devre dışı bırakmanın bir yolu var mı?
- 5. Belirli bir kod satırı için derleyici optimizasyonunu devre dışı bırakmanın herhangi bir yolu var mı? Visual Studio'da belirli bir kod satırı için derleyici optimizasyonunu devre dışı bırakmak için
- 6. Android Studio'da "Sembol Güncelleme ..." işlemini devre dışı bırakmanın bir yolu var mı?
- 7. ASP.NET MVC 3 RC2'de JSON ModelBinder'ı devre dışı bırakmanın bir yolu var mı?
- 8. jquery DataTables için ilk sıralamayı devre dışı bırakmanın bir yolu var mı?
- 9. Tüm uyarıları pragma ile devre dışı bırakmanın bir yolu var mı?
- 10. Raylar SQL günlüklerini devre dışı bırakmanın yolu nedir?
- 11. Okular vurgulama aracını kalıcı olarak bırakmanın bir yolu var mı?
- 12. UIImage ScaleToFit antialias devre dışı bırakılsın mı?
- 13. Coq'deki özel gösterimi nasıl devre dışı bırakırım?
- 14. Servis başlangıcında bir OSGi hizmetini devre dışı bırakmanın doğru yolu nedir?
- 15. Devre Dışı belirli günleri
- 16. Bir sistem aygıtını nasıl devre dışı bırakırım?
- 17. devre dışı bırak fare
- 18. ST3: Bu kırmızı uyarıyı devre dışı bırakmak için herhangi bir ayar var mı?
- 19. UICollectionView/UICollectionViewLayout döndürme veya sınır değişikliklerinde çapraz boşlukları devre dışı bırakmanın en iyi yolu nedir?
- 20. Belirli bir JavaScript hatası için denetimi devre dışı bırakma Eclipse
- 21. iOS 5 - Bir UITextView'de otomatik doldurmayı devre dışı bırakmanın bir yolu var mı, ancak yazım denetimi (kırmızı alt çizgi) tutuluyor mu?
- 22. Düğmeyi devre dışı bıraktığımda metnin gri olmasını engellemenin bir yolu var mı?
- 23. Hata ayıklama bilgisi devre dışı bırakıldığında DOM öğesinin kapsamını elde etmenin bir yolu var mı?
- 24. Belirli bir paket için günlüğe kaydetme devre dışı bırakma
- 25. Emacs devre dışı * İletiler * arabellek
- 26. Yapı üzerinde VS2015 Typescript derlemesini durdurmanın bir yolu var mı?
- 27. Geliştirme modunda React PropType doğrulamasını devre dışı bırakmak veya hızlandırmak için herhangi bir yol var mı?
- 28. pragma devre dışı bırakılsın mı?
- 29. Matter.js'de yerçekimi devre dışı bırakılıyor
- 30. Otomatik olarak oluşturulan varsayılan "id" sütununu değiştirmenin bir yolu var mı?
İyi deneme, ama bu hileler, sorunun ne yaptığını yapmak için yeterli değildir. – Atsby