Verification Overview
Summary
| Metric | Count | Percentage |
|---|---|---|
| Total Declarations | 2280 | - |
| Total Modules | 68 | - |
| Theorems (Total) | 1877 | - |
| ✓ Fully Proved | 1669 | 88% |
| ⚠ Uses Axioms | 0 | 0% |
| ✗ Has Sorry | 208 | 11% |
| Definitions with Sorry | 1 | - |
Theorem Verification Progress
Proved 1669Axiom 0Sorry 208
Four-Category Ontology
Classification of declarations based on E.J. Lowe's metaphysical framework.
| Mathematical (Prop) | Computational (Data) | |
|---|---|---|
| Substantial (Types) | 0 (0%) | 14 (100%) |
| Non-substantial (Defs) | 37 (9%) | 352 (90%) |
Theorem Taxonomy
Classification of theorems by what they prove.
| Theorem Kind | Count | Percentage |
|---|---|---|
| mathematicalProperty | 996 | 53% |
| bridgingProperty | 0 | 0% |
| computationalProperty | 0 | 0% |
| soundnessProperty | 0 | 0% |
| completenessProperty | 0 | 0% |
| unclassified | 881 | 46% |
Quick Links
Project Info
Prime Number Theorem
Repository: https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
Modules: PrimeNumberTheoremAnd
Analysis settings
-
disable_equations:true -
proof_dep_workers:10 -
html_workers:10 -
lake_exe_cache_get:true
Downloads
Data files for this project:
- 📄 classification-cache.json (69 B) — Classification metadata
-
📄 classification-cache.jsonl (612 KB) — Full classification data
⚠️ Note: This is a Git LFS file; download may be large - 📋 commands.yaml (13 KB) — Build commands log