preparing to publish my vibecoded math lean proof to github and i kinda feel nervous cause what if it's all wrong
By dan
preparing to publish my vibecoded math lean proof to github and i kinda feel nervous cause what if it's all wrong
By dan
preparing to publish my vibecoded math lean proof to github and i kinda feel nervous cause what if it's all wrong