Skip to content
#

wolfram-engine

Here are 18 public repositories matching this topic...

Auditable Codex skill for hard mathematical proofs: proof search, failed-proof recovery, replayable CAS/Lean evidence, and honest proof status.

  • Updated Aug 8, 2026
  • Python

Improve this page

Add a description, image, and links to the wolfram-engine topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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

Learn more