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...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
The End<br />
Download<br />
Source code and documentation available from<br />
www.di.uminho.pt/research/galculator<br />
Contact<br />
Questions to paufil@di.uminho.pt<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 28 / 28