Commit aa98ad05 authored by alexander.weigl's avatar alexander.weigl 🐼

Update README.md

parent c155b26e
Pipeline #21099 failed with stages
# PSDBG -- Proof Script Debugger
![logo](share/logo.svg)
![logo](share/logo.png)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment