HashMath

HashMath 收录了来自 SamuelSchlesinger 的 4 个 skills，并提供仓库级职业覆盖和站内 skill 详情页。

已收集 skills

Stars

更新

2026-03-10

Forks

职业覆盖

3 个职业分类 · 已分类 100%

仓库浏览

这个仓库中的 skills

创作者/仓库/skill

skill

职业分类

描述

更新

Type-check HashMath (.hm) source code or files. Use when the user wants to verify that .hm code type-checks correctly.

Help prove a theorem in HashMath. Use when the user wants to construct a proof term, define a theorem, or needs help writing .hm proof code.

Search for declarations in the HashMath environment by name pattern. Use when the user wants to find available definitions, theorems, or types.

Run the HashMath test suite. Use when the user wants to run tests, check if examples pass, or verify the type checker.