FormalizedFormalLogic

GitHub-Creator-Profil

FormalizedFormalLogic

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

github/FormalizedFormalLogic größtes Repository: Foundation

gesammelte Skills

1

Repositories

1

aktualisiert

24. Juli 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 · 24. Juli 2026

Softwareentwickler

1 Berufskategorien · 100 % klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills26932aktualisiert 24. Juli 2026

100 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

Softwareentwickler

Update the Lean (and mathlib/doc-gen4) toolchain version. Bumps lean-toolchain, updates lake-manifest, verifies the build, detects and fixes new errors/warnings caused by the version bump, and opens a PR. Use for requests like "update Lean", "bump the…

1 von 1 Repositories angezeigt

Alle Repositories angezeigt