dan on Nostr: okay, it's out [github.com/gaearon/conw...]( ) RE: [GitHub - ...

okay, it's out [github.com/gaearon/conw...](https://github.com/gaearon/conway-refinement )

RE: https://bsky.app/profile/did:plc:fpruhuo22xkm5o7ttr2ktxdo/post/3mudipgy2f22a

[GitHub - gaearon/conway-refine...](https://github.com/gaearon/conway-refinement )

quoting
note1h05…tr7f

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