Repositorio de GitHub

pal

pal contiene 1 skills recopiladas de FStarLang, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

Perfil de FStarLang Ver en GitHub

skills recopiladas

Stars

actualizado

2026-07-14

Forks

Cobertura ocupacional

Desarrolladores de software

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

pal-proving

Desarrolladores de software

Verify C code with PAL (Proof Annotated Language for C), which compiles annotated C into F*/Pulse. Use when verifying C code using PAL. This guide covers spec writing idioms as well as tips on how to progress stuck proofs.

2026-07-14