Skip to content
Prompt

hyper-lean — Copilot Instructions

by pannous

AI Summary

A Copilot instruction set for working with hyperreal numbers in Lean 4, designed to preserve code structure and comments while assisting with formal mathematics development.

Install

Copy this and paste it into Claude Code, Cursor, or any AI assistant:

I want to add the "hyper-lean — Copilot Instructions" prompt rules to my project.
Repository: https://github.com/pannous/hyper-lean

Please read the repo to find the rules/prompt file, then:
1. Download it to the correct location (.cursorrules, .windsurfrules, .github/prompts/, or project root — based on the file type)
2. If there's an existing rules file, merge the new rules in rather than overwriting
3. Confirm what was added

Description

Hyperreal Numbers in Lean 4

Discussion

0/2000
Loading comments...

Health Signals

MaintenanceCommitted 1mo ago
Active
AdoptionUnder 100 stars
3 ★ · Niche
DocsMissing or thin
Undocumented

GitHub Signals

Stars3
Issues0
Updated1mo ago
View on GitHub
Apache-2.0 License

My Fox Den

Community Rating

Sign in to rate this booster

Works With

Any AI assistant that accepts custom rules or system prompts

Claude
ChatGPT
Cursor
Windsurf
Copilot
+ more