MAKE A MEME
View Large Image
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