Dépôt GitHub

pal

pal contient 1 skills collectées depuis FStarLang, avec une couverture métier par dépôt et des pages de détail sur le site.

Profil FStarLang Voir sur GitHub

skills collectés

Stars

mis à jour

2026-07-14

Forks

Couverture métier

Développeurs de logiciels

1 catégories métier · 100% classifié

explorateur de dépôts

Skills dans ce dépôt

créateur/dépôt/skill

skill

métier

description

mis à jour

pal-proving

Développeurs de logiciels

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