ltac

6गर्मी

2उत्तर

एक कॉक रणनीति

लेफ्टैक में एक जटिल रणनीति को लागू करते समय, कुछ एलटीएसी कमांड या सामरिक आमंत्रण जो मैं विफल होने की उम्मीद करता हूं और जहां इसकी अपेक्षा की जाती है (उदाहरण के लिए repeat को समाप्त करने के लिए, या बैक

coq coq-tactic ltac 2017-07-14

---