Questions Tagged [coq-tactic]
Tactics are programs written in Ltac, the untyped language used in the Coq proof assistant to transform goals and terms. This tag should be used on questions related to the issues in using Coq tactics to derive proofs using the Coq proof assistant.
Popular Questions
Top Members
Trending Tags
redux
version-control
ide
rss
line
azure-ad-b2c
bundler
html-agility-pack
abap
orientdb
statusbar
implementation
projection
fwrite
intentfilter
one-to-one
lua-table
nonetype
dotnetopenauth
rounded-corners
timezone-offset
moss
rmagick
interstitial
resourcebundle
html-input
drawimage
recharts
clip-path
probability-density
udf
unobtrusive-javascript
javaagents
python-behave
rollover
discord-jda
postman-collection-runner
azure-queues
mysql-real-escape-string
desire2learn
appveyor
accounting
azure-data-flow
filepond
twincat
websphere-6.1
imbalanced-data
range-v3
pygments
webhdfs