English
Sign in
AI tools
Chat
Top Qs
Timeline
Loading AI tools
All
Articles
Dictionary
Quotes
Map
File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
From Wikipedia, the free encyclopedia
Found in articles
File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Description
Coq
Proof
Of
Decidablity
Of
Equality
On
Natural
Numbers
.
png
English: A screenshot of the
Coq
proof
assistant in the middle of a
proof
of the decidability