GitHub - s-nandi/automated-proofs: A small and simple set of automated proofs written in Isabelle

s-nandi / automated-proofs Public

A small and simple set of automated proofs written in Isabelle

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
berIneq.thy		berIneq.thy
euclideanAlgorithm.thy		euclideanAlgorithm.thy
expLessThanFactorial.thy		expLessThanFactorial.thy
infinitePrimes.thy		infinitePrimes.thy
neighborRelation.thy		neighborRelation.thy
notDivision.thy		notDivision.thy
pascalsIdentity.thy		pascalsIdentity.thy
rationalPowers.thy		rationalPowers.thy
sqrt2Irrational.thy		sqrt2Irrational.thy
sumOfFirstN.thy		sumOfFirstN.thy
symmetry.thy		symmetry.thy
triangleInequality.thy		triangleInequality.thy