doc/plugin_tutorial/tuto1/src/simple_print.mli at master · stepbrobd.com/coq · Tangled

forked from coq/coq

coq doc plugin_tutorial tuto1 src simple_print.mli

101 B · 1 line

OCaml

Gaëtan Gilbert · Use vernactypes to get indirect accessor in commands · 2y ago