Mathlib porting status
alternate view
out of sync
tools.debugger.cli
⟷ ?
Dependencies
1
0 files ported (0.0%)
0 lines ported (0.0%)
Show graph
The unported dependencies are
tools.debugger.cli
tools.debugger.util