2026-10-13 21:38 UTC
#NewBusinessPlan a new theorem proving language and environment that is up front with users about generating absurdly large proofs, called HƎⱯVY
Replies (2)
-
@joe@f.duriansoftware.com 2026-10-14 14:16
@quephird@tech.lgbt if that’s the Lean proof, I can’t wait to see the Heavy one
-
@quephird@tech.lgbt 2026-10-14 02:33
Oh well… I guess no one saw this post first. https://f.duriansoftware.com/@joe/117435699557557477