thatnealpatel/proofs

Unless otherwise noted, any proofs contained
in the ./Proofs directory were formalized at
least in part or wholly by AI-assisted tools.

Most larger proofs are documented here to be
referenced on my website https://patel.codes
where AI-assisted tooling is expounded upon.

Similarly, unless otherwise noted, anything
in this repository should be consumed with
the express understanding that its content
may be incorrect and has not been rigorously
vetted by a human.