Posts tagged "theorem-proving"

• Proving Addition is Commutative in Idris - 7 September, 2016