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