Russoul

Profil créateur GitHub

Russoul

Vue par dépôt de 1 skills collectés dans 1 dépôts GitHub.

github/Russoul plus grand dépôt : Nova

skills collectés

1

dépôts

1

mis à jour

19 août 2026

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

1 skills · 19 août 2026

classification en attente

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills50mis à jour 19 août 2026

100 % du créateur

skill

métier

description

mis à jour

Programming and proving in Nova (.nova surface files) — the elab/obligation loop, surface syntax, lemma-based discharge, QIITs. Use when writing or fixing .nova files, proving equations, or debugging why a file is not accepted.

1 dépôts affichés sur 1

Tous les dépôts sont affichés