FormalizedFormalLogic

Perfil de criador do GitHub

FormalizedFormalLogic

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

github/FormalizedFormalLogic maior repositório: Foundation

skills coletadas

1

repositórios

1

atualizado

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

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills26932atualizado 24 de jul. de 2026

100% do criador

skill

ocupação

descrição

atualizado

Desenvolvedores de software

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…

24 de jul. de 2026

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos