coq-tactic

coq-tactic

Coq `simpl` reduces `S n + m` to `S(n + m)` for free?

Is it possible to disable the ```auto``` tactic in Coq?

How to solve coq list assignments on length alternate append theorem and sub list length theorem

Check disjoint lists in coq

Duplicate subgoals in Coq

page:1 of 1 main page

Categories

jenkins-pipeline

model-view-controller

react-native-web

google-places-api

portable-executable

relational-algebra

database-backups

spark-streaming

google-ads-data-hub

adjacency-matrix

chrome-web-store

first-order-logic

ms-access-reports

post-quantum-cryptography

amazon-systems-manager

angular2-material

error-reporting

microsoft-dynamics-nav

correspondence-analysis

system.messaging

virtualpathprovider

Resources