Russoul

Perfil de criador do GitHub

Russoul

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/Russoul maior repositório: Nova

skills coletadas

1

repositórios

1

atualizado

19 de ago. de 2026

mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

1 skills · 19 de ago. de 2026

classificação pendente

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills50atualizado 19 de ago. de 2026

100% do criador

skill

ocupação

descrição

atualizado

sem classificação

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.

19 de ago. de 2026

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos