HashMath

HashMath contiene 4 skills recopiladas de SamuelSchlesinger, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

skills recopiladas

Stars

actualizado

2026-03-10

Forks

Cobertura ocupacional

3 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

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.