This website requires JavaScript.
Explore
Help
Register
Sign In
zhongwei
/
gh-cameronfreer-lean4-skills-plugins-lean4-theorem-proving
Watch
1
Star
0
Fork
0
You've already forked gh-cameronfreer-lean4-skills-plugins-lean4-theorem-proving
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
master
gh-cameronfreer-lean4-skill…
/
.claude-plugin
/
plugin.json
Zhongwei Li
1f97c6a3a3
Initial commit
2025-11-29 18:03:38 +08:00
321 B
Raw
Permalink
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink
