Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
stdlib
algebra.mlw
Find file
Blame
History
Permalink
add a meta to mark a symbol as never removed by `remove_unused*`
· 29c71dbd
BONNOT Paul
authored
Jun 15, 2023
and
MARCHE Claude
committed
Jun 15, 2023
mark some lemmas on division of real as removable if not needed
29c71dbd