How do I contribute?

[NotFaizen]

It says the file is too large to display and there's no edit option, pls help.

[SeaDve]

git clone?

[ragibalasad]

Looks like this repo isn’t active anymore.

I’m working on a similar (but slightly more unhinged) project called is-zero-zero — collecting all kinds of creative ways to prove 0 == 0. Would love to have you contribute if you’re up for it!

Feel free to drop a PR there!