Tricks in Coq

github.comtool

Tips, tricks, and features in Coq that are hard to discover.

from

Coq

added

2026-10-10

likes

0

Coq › Resources > Tutorials and Hints: “Tips, tricks, and features in Coq that are hard to discover.”