Wolfram Institute

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

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

Wolfram Language interface for Lean 4 proof assistant

A Wolfram Language link to PARI/GP for number theory.

Causal structure and special relativity on finite directed graphs

Geometry as effective description of large graphs

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

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

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

GAPLink connects Wolfram Language to GAP.