takoeight0821/ziku

SkillsMP hat 2 Skills aus takoeight0821/ziku gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.

takoeight0821-Profil Auf GitHub ansehen

Letzte erfasste Quellaktivität: 24. Januar 2026 um 13:00

SkillsMP-Katalog aktualisiert: 10. September 2026 um 08:02

gesammelte Skills: 2

GitHub-Stars: 1
GitHub-Forks: 0

Skills in diesem Repository

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Skill

Beruf

Beschreibung

Aktualisiert

sequent-calculus

Softwareentwickler

Surface → IR translation rules and IR reduction semantics for Ziku's λμμ̃-calculus based intermediate representation. Use when implementing translation, IR evaluation, or understanding the core semantics.

Quellsprache: Englisch

2026-01-24

loogle

Softwareentwickler

Search for Lean 4 and Mathlib theorems, lemmas, and definitions by type signature, name, or subexpression pattern. Use when the user asks to find a theorem, look up a Lean definition, search for lemmas, or needs help discovering Mathlib functions.

Quellsprache: Englisch

2026-01-10

Es werden 2 von 2 gesammelten Skills angezeigt.