Wolfram Institute

A high-performance multiway hypergraph rewriting engine for the Wolfram Physics Project.

Reference Lean environment for Rule 30 Prize submissions: the official statements, proved partial results and equivalent forms, and the verifier's checker

Geometry as effective description of large graphs

Wolfram Language interface for Lean 4 proof assistant

Convert literate markdown into Wolfram notebooks: documentation pages, resource definition notebooks, or plain notebooks, from a Template frontmatter key

A proof engine for the Calculus of Inductive Constructions, written in the Wolfram Language

Claude Code plugin marketplace

Wolfram-centric Claude plugin for AI-assisted computational research

Build and publish a paclet's documentation, from markdown to a published paclet with its documentation site

Graph of graphs: Whitehead moves on cubic multigraphs, exact enumeration, field dynamics, and Wolfram notebooks.