New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ch. 1: prove monotone_primeCountingReal #55

Merged

mo271 merged 1 commit into main from ch1_proof4

May 4, 2024

Owner

mo271 commented May 4, 2024

@rwst finished the proof and cheanged the definition of primeCountingReal slighlty


          Ch. 1: prove monotone_primeCountingReal

d981732

mo271 merged commit 57e5bef into main

3 checks passed

Contributor

rwst commented May 5, 2024

Thanks. It's a good learning occasion for me.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment