Galois
Galois: A Language for Proofs Using Galois connections and ... - ALFA
Galois: A Language for Proofs Using Galois connections and ... - ALFA
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Introduction<br />
Motivation<br />
Whole division<br />
Prove<br />
(a ÷ b) ÷ c = a ÷ (c × b)<br />
for b and c ≠ 0.<br />
Easy if ÷ is the real number division<br />
Also valid in natural numbers but the proof is not so straightforward<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 4 / 28