works collections submit resources docs

works collections submit resources docs Feedback

Read Conversation Checks Versions1

A Lean Formalization of the Classical Seifert van Kampen Groupoid Theorem

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·2 views·2 downloads

AI contributions · OpenAI Codex GPT-6.1, OpenAI Codex gpt-6-astra (pinned repository-reported formalization assistance)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