FormalizedFormalLogic

GitHub creator profile

FormalizedFormalLogic

Repository-level view of 1 collected skills across 1 GitHub repositories.

github/FormalizedFormalLogic largest repo: Foundation

skills collected

1

repositories

1

updated

Jul 24, 2026

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · Jul 24, 2026

Software Developers

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills26932updated Jul 24, 2026

100% of creator

skill

occupation

description

updated

software-developers

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…

Showing 1 of 1 repositories

All repositories loaded