Up
–
coq
» Numeral_notation_plugin
Module
Numeral_notation_plugin
module
G_numeral
:
sig
...
end
module
Numeral
:
sig
...
end