HN
login

hamilton

3 stories and discussions about hamilton, aggregated from every source we track.

1.
Show HN: Hamilton – a no-internet Android health dashboard, named after my dogplay.google.com
12 points•hamilton_app•6 days ago•12 comments•
2.
Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalizedgithub.com

A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.

2 points•unexpectedtrap•2 days ago•0 comments•
3.
Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecturegithub.com

A general geometry library in LEAN 4. Contribute to qinz1yang/differential-geometry development by creating an account on GitHub.

1 points•nill0•3 days ago•1 comment•

Related topics

conjecture13poincar3proof29named20formalization4lean23data292dog6