pith.

Research Integrity Review Publish

sign in

Physics Mathematics Computer Science Biology Finance Statistics Systems Economics

authors / Vincent Tr\'elat

Vincent Tr\'elat

Identifiers

No identifiers captured yet.

Papers (1)

ZFLean: a framework for set-level mathematics in Lean cs.LO · 2026 · author #1

Mentions

No mention provenance yet.

pith.science · verified trust layer · authors keep copyright · arXiv keeps the PDF

Pith is a project of Recognition Physics Research Institute, a not-for-profit entity in Texas.

Research · Integrity · Review · Publish · Publish policy · Recent Asks · Citations · Graph · Extension · Sitemap

All Pith Reports are AI-generated. Not peer review. Not a substitute for expert evaluation.