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.
Summary<br />
Summary<br />
Summary<br />
<strong>Galois</strong><br />
Follows the mathematical concepts<br />
Alternative to first-order languages<br />
Typed approach<br />
Galculator<br />
Proof assistance prototype based on <strong>Galois</strong> connections<br />
Innovative approach<br />
Uses a point-free equational approach<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 26 / 28