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.

Посмотреть исходный кодframework-internals
ArabelaTso
maintainer
ArabelaTso
Обновлено 2/20/2026
Звёзды
69
Форки
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.

Установка
$ install --globalskills.sh
Использование

После установки вы можете использовать этот skill, выполнив следующую команду в терминале:

skills use c-cpp-to-lean4-translator