coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of doc/plugin_tutorial/tuto4/src/tuto4_plugin.mlpack

June 2025

coqbot-app[bot]
Merge PR #20670: Update plugin tuto
committed
Gaëtan Gilbert
Add plugin tuto 4: extending ltac2
committed