MAKE A MEME View Large Image CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png en A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers own Roconnor 2009-08-19 Coq Free screenshot LGPL Proof shown Coq
View Original:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png (1016x735)
Download: Original    Medium    Small Thumb
Courtesy of:commons.wikimedia.org More Like This
Keywords: CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png en A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers own Roconnor 2009-08-19 Coq Free screenshot LGPL Proof shown Coq
Terms of Use   Search of the Day