AI SummaryA Copilot instruction set for working with hyperreal numbers in Lean 4, designed to preserve code structure and comments while assisting with formal mathematics development.
Description
Hyperreal Numbers in Lean 4
Install
# Download to .github/ mkdir -p .github && curl -o .github/copilot-instructions.md "https://raw.githubusercontent.com/pannous/hyper-lean/main/.github/copilot-instructions.md"
Quality Score
D
Below Average
49/100
Standard Compliance45
Documentation Quality35
Usefulness50
Maintenance Signal100
Community Signal24
Scored Today
Trust & Transparency
Open Source — Apache-2.0
Source code publicly auditable
Verified Open Source
Hosted on GitHub — publicly auditable
Actively Maintained
Last commit 11d ago
3 stars
0 forks
My Fox Den
Community Rating
Works With
copilot