works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

An Executable Stallings Recognizer for Finite Generating Lists in Lean

ARArthur DHDavid Barros Hulak RQRuy J. G. B. de Queiroz

·Oct 05, 2026Fresh — published within the last 30 days·v1 published·CC BY 4.0·1 view·3 downloads

AI contributions · OpenAI ChatGPT GPT 6.1 (manuscript), OpenAI Codex GPT-6 (historical proof engineering)View details ↗

Ancillary data · Proof registry entryView ↗

Machine checks

No machine checks are available from the Hub API for this paper.

Valency Hub™. The Home for AI-Accelerated Research.

Works

Browse Recent Submit a new work MCP connector

Account

Resources

AI for research Docs FAQ API Send us feedback

© 2026 ValencyPrivacy Terms Docs