GitHub repository: mayconamaro/natural-explosion
Primary language: Agda
Created: 2019-09-23T01:48:19Z
Description: Proof that if 0 = 1 then all naturals are the same number. All definitions of naturals and equality, even their properties are entirely made directly. No external or library definition was used.