skills.homes logoskills.homescapability registry
home/categories/framework-internals/arabelatso-skills-4-se-skills-c-cpp-to-lean4-translator-skill-md
cd ..
framework-internalsdevelopment

c-cpp-to-lean4-translator

Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.

Ver código-fonteframework-internals
ArabelaTso
maintainer
ArabelaTso
Atualizado 2/20/2026
Estrelas
69
Forks
6
quick start

Installation and usage

Translate C or C++ programs into equivalent Lean4 code, preserving program semantics and ensuring the generated code is well-typed, executable, and can run successfully. Use when the user asks to convert C/C++ code to Lean4, port C/C++ programs to Lean4, translate imperative code to functional Lean4, or create Lean4 versions of C/C++ algorithms.

Instalação
$ install --globalskills.sh
Uso

Depois de instalar, você pode usar esta skill executando o seguinte comando no terminal:

skills use c-cpp-to-lean4-translator