القائمة
جمع SkillsMP عدد ٢ من skills من takoeight0821/ziku. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٢ من أصل ٢ skills مجمعة.
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.
لغة النص الأصلي: الإنجليزية
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.
لغة النص الأصلي: الإنجليزية