A
licenseNot graded
qualityA
maintenanceEnables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.
2
Apache 2.0
81,811 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓