π¦ ClawHubclawhub
openmath-open-theorem
Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorem...
v1.0.2by bennyzhe
View on ClawHub ββ οΈ BytesAgain does not review or verify third-party content. Proceed at your own risk.
π This skill is indexed from ClawHub and is available under its original license. BytesAgain is an independent directory β we do not host or own this content. All rights belong to the original author.
π Can't find the right skill?
Install our skill and let your agent search 43,000+ skills for you.