Skip to main content
~/skillsmp
Jeden Skill in Manus ausführen
mit einem Klick
$pwd:
formal-land
GitHub creator profile

formal-land

Repository-level view of 2 collected skills across 1 GitHub repositories, including approximate occupation coverage.

github/formal-landlargest repo: rocq-of-rust
skills collected
2
repositories
1
occupation fields
1
updated
2026-02-08
occupation focus
Major fields detected across this creator.
Informatik- und Mathematikberufe
repository map

Where the skills live

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

#01
rocq-of-rust
2 skills · 2026-02-08
ComputerprogrammiererSoftwareentwickler
2 occupation categories · 100% classified
100%share
repository explorer

Repositories and representative skills

#001
rocq-of-rust
2 skills1.1k44updated 2026-02-08
100% of creator
rocq-simulate-author
Computerprogrammierer

Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.

2026-02-08
rocq-build-troubleshoot
Softwareentwickler

Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/simulate splits and per-file compile checks.

2026-02-08
1 von 1 Repositories angezeigt
Alle Repositories angezeigt