Archived: TauLib Self-Contained Lean 4 Library
Archived TauLib v2.0 white paper superseded by WP003.
Superseded Record
This TauLib v2.0 white paper is archived for provenance. The current citable replacement is WP003 TauLib Technical Overview.
The old public route now redirects to WP003 so technical readers land on the current TauLib overview.
Historical Artifact
- Historical title: TauLib: A Self-Contained Lean 4 Library for Category tau
- Historical status: v2.0 pre-canon technical white paper
- Historical PDF: legacy PDF
- Historical DOI: 10.5281/zenodo.19976503
- Current replacement: WP003 TauLib Technical Overview
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.