Equality

Link for download

In this repository, I will prove that most of equalities are equal between them.

It is possible to build the project with nix flakes without needing to clone the repository with this command:

nix build github:guilhermehas/Equality

MIT

Name		Name	Last commit message	Last commit date
Latest commit History 54 Commits
.github/workflows		.github/workflows
.gitignore		.gitignore
.gitpod.Dockerfile		.gitpod.Dockerfile
.gitpod.yml		.gitpod.yml
Equality.agda-lib		Equality.agda-lib
Makefile		Makefile
README.agda		README.agda
README.md		README.md
References.bib		References.bib
default.nix		default.nix
equalities.agda		equalities.agda
flake.lock		flake.lock
flake.nix		flake.nix
leibniz-equality.agda		leibniz-equality.agda
leibniz.agda		leibniz.agda
paper.lagda.tex		paper.lagda.tex
propositional-equality.agda		propositional-equality.agda
slides.lagda.tex		slides.lagda.tex