Commit c7e7f0ca authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢

README: Explain acronym

parent d41307a1
# CoPaR
# CoPaR, the *Co*algebraic *Pa*rtition *Re*finer
## Building
......
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