ziku

ziku contém 2 skills coletadas de takoeight0821, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de takoeight0821 Ver no GitHub

skills coletadas

Stars

atualizado

2026-01-24

Forks

Cobertura ocupacional

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

explorador de repositórios

Skills neste repositório

criador/repositório/skill

skill

ocupação

descrição

atualizado

sequent-calculus

Desenvolvedores de software

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.

2026-01-24

loogle

Desenvolvedores de software

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.

2026-01-10