hodges

Here is 1 public repository matching this topic...

LEAN is ZFC corrupted & TONE is the Cure

analysis lean riemann zermelo aoc collatz taylor-series goldberg p-vs-np riemann-hypothesis hodges lean4 taylorseries riemannhypothesis zermelofraenkl navierstokes twinprimes

Add a description, image, and links to the hodges topic page so that developers can more easily learn about it.

To associate your repository with the hodges topic, visit your repo's landing page and select "manage topics."