README.md 59 Bytes
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1 2 3
# PSDBG -- Proof Script Debugger 

![logo](share/logo.svg)