Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
c7f19ca0a0a4ea169bdec0db586bbfadd1c75fb7
Switch branch/tag
why3
src
core
term.mli
Find file
Blame
History
Permalink
more agressive simplifications in Eliminate_algebraic
· c7f19ca0
Andrei Paskevich
authored
Mar 02, 2011
c7f19ca0
Andrei Paskevich authoredc7f19ca0