Vol. 10 No. 1 (2017)

Articles

• Formalizing Restriction Categories

  James Chapman, Tarmo Uustalu, Niccolò Veltri

  1 - 36

  • PDF

• Formal Proof of Banach-Tarski Paradox

  Daniel de Rauglaudre

  37 - 49

  • PDF

• A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links

  Ran Chen, Martin Clochard, Claude Marché

  51 - 66

  • PDF

• A Library for Algorithmic Game Theory in Ssreflect/Coq

  Alexander Bagnall, Samuel Merten, Gordon Stewart

  67 - 95

  • PDF