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: 4
Downloads last week: 7
Downloads last month: 13