Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
printer
coq.ml
Find file
Blame
History
Permalink
Clean output of constant symbols in Coq: "(f (c ))" -> "(f c)".
· d7f20f9c
Guillaume Melquiond
authored
Sep 01, 2011
d7f20f9c