Makefile.in · 59586b88110eddbe6f911452e5c673d0be2d215f · Why3 / why3 · GitLab

Mentions légales du service

Sep 01, 2012
59586b88
Fix axioms of int.Exponentiation and realize it in Coq. · 59586b88
Guillaume Melquiond authored Sep 01, 2012
```
Remove axioms from int.Power realization.
```
59586b88
Fix axioms of int.Exponentiation and realize it in Coq.
Guillaume Melquiond authored Sep 01, 2012
```
Remove axioms from int.Power realization.
```