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

alexander.weigl's avatar
alexander.weigl committed
3
![logo](share/logo.png)