Vol. 12 No. 1 (2019)

Articles

• Commutativity Theorems in Groups with Power-like Maps

  Ranganathan Padmanabhan, Yang Zhang

  1 - 10

  • PDF

• LF+ in Coq for "fast and loose" reasoning

  Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

  11 - 51

  • PDF

• A Why3 proof of GMP algorithms

  Raphael Rieu-Helft

  53 - 97

  • PDF