This website requires JavaScript.
Explore
Help
Register
Sign In
zhongwei
/
gh-cameronfreer-lean4-skills-plugins-lean4-subagents
Watch
1
Star
0
Fork
0
You've already forked gh-cameronfreer-lean4-skills-plugins-lean4-subagents
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
master
Add File
New File
Upload File
Apply Patch
gh-cameronfreer-lean4-skill…
/
agents
History
Zhongwei Li
54e9f0729b
Initial commit
2025-11-29 18:03:36 +08:00
..
lean4-axiom-eliminator.md
Initial commit
2025-11-29 18:03:36 +08:00
lean4-proof-golfer.md
Initial commit
2025-11-29 18:03:36 +08:00
lean4-proof-repair.md
Initial commit
2025-11-29 18:03:36 +08:00
lean4-sorry-filler-deep.md
Initial commit
2025-11-29 18:03:36 +08:00
lean4-sorry-filler.md
Initial commit
2025-11-29 18:03:36 +08:00
