News for hackers. Stuff that matters.

A comment on Black holes finally proven mathematically stable. Parent comment

Re:Black holes finally proven mathematically stable by remolueoend on Friday August 05, 2022 @09:01AM (#32355479)
The isabelle AFP project (https://www.isa-afp.org) might be interesting to you.
[ Parent | on HN ]

There are no comments on this comment yet.