conjecture-verification

Here is 1 public repository matching this topic...

A Lean 4 structural encoding of the Beal Conjecture using the 12-primitive Imscribing Grammar.

To associate your repository with the conjecture-verification topic, visit your repo's landing page and select "manage topics."