FormalizedFormalLogic

Profil créateur GitHub

FormalizedFormalLogic

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

github/FormalizedFormalLogic plus grand dépôt : Foundation

skills collectés

1

dépôts

1

mis à jour

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

Développeurs de logiciels

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

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills26932mis à jour 24 juil. 2026

100 % du créateur

skill

métier

description

mis à jour

Développeurs de logiciels

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 dépôts affichés sur 1

Tous les dépôts sont affichés