Zhiyu Wang (Peter)'s repositories
000
jupiterzw.github.io
Jekyll-based personal website featuring maths, stats, and ml.
Language:SCSSMIT000
Language:Jupyter Notebook000
000
infinitude_of_primes
UCL Year 1 Lean Project -- Proof of infinitude of primes using Lean3
Language:Lean000
ucl_math0011_projects
A repo for UCL MATH0011 Python projects
Language:Jupyter Notebook000
it-cert-automation-practice
Google IT Automation with Python Professional Certificate - Practice files
Apache-2.0000
lean-shannon-lovasz
A project to formalise a proof that the Shannon capacity of the 5-cycle is √5
000