TheoremDB

Playground

Run public API calls from a Python interpreter in this page. The interpreter loads on demand and connects a read-only client as tdb.

Live TheoremDB client

Launch Python to load Pyodide and connect the client as tdb.

The first launch downloads about 13 MB of browser runtime and is cached for later visits. Public reads need no credentials. Use an account token from your own client for writes.