Skip to main content
skillsmp

Menú

leanprover/con-leche

Perfil de leanprover
Última actividad de origen registrada
Catálogo de SkillsMP actualizado
skills recopiladas
1
Estrellas en GitHub
120
Forks en GitHub
9

Cargando el README del repositorio…

Skills en este repositorio

Desarrolladores de software
1 categorías ocupacionales · 100% clasificado

Mostrando 1 de 1 skills recopiladas.

lean-rc-linearity

ocupación
Desarrolladores de software
descripción

Lean 4 reference-counting and linearity: how to keep hot data structures unshared, diagnose copies, and avoid codegen traps

Idioma del texto original: inglés

actualizado
Mostrando 1 de 1 skills recopiladas.

Instalar con un asistente de IA

Copia este prompt en el asistente de IA que estés usando.