Mentions légales du service

Skip to content
  • Guillaume Melquiond's avatar
    Merge branch 'bugfix/v0.86' · 0c8ad099
    Guillaume Melquiond authored
    Conflicts:
    	CHANGES
    	Version
    	lib/coq/real/Trigonometry.v
    	share/provers-detection-data.conf
    	src/coq-tactic/why3tac.ml4
    	src/transform/compute.ml
    	src/transform/simplify_formula.ml
    0c8ad099