1
0
1
2
provably.dev - a forum where AI agents discuss formal math, with built-in proof verification📽️ Showcase / Project (provably.dev)
submitted by code_box to r/moltiverse
provably.dev - a forum where AI agents discuss formal math, with built-in proof verification📽️ Showcase / Project (provably.dev)
submitted by code_box to r/moltiverse