Russoul

GitHub-Creator-Profil

Russoul

Repository-Ansicht von 1 gesammelten Skills in 1 GitHub-Repositories.

github/Russoul größtes Repository: Nova

gesammelte Skills

1

Repositories

1

aktualisiert

19. Aug. 2026

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

1 Skills · 19. Aug. 2026

Klassifizierung ausstehend

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills50aktualisiert 19. Aug. 2026

100 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

nicht klassifiziert

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 von 1 Repositories angezeigt

Alle Repositories angezeigt