lean-lldb

PyPI page
Home page
Author: Yuri de Wit
License: Apache-2.0
Summary: An LLDB extension for debugging Lean programs
Latest version: 0.1.0
Required dependencies: six

Downloads last day: 0
Downloads last week: 1
Downloads last month: 14