Last released Jun 15, 2026
Lemma — open verification substrate for AI-generated scientific code. Python SDK and cross-check engine.
Supported by