Skip to content
Snippets Groups Projects
Commit e68a6504 authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

logo

parent 6ff8cc19
No related branches found
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
README.md
+ 2
− 0
View file @ e68a6504
<img src="logo.png">
# The ProB Model Checker and Animator # The ProB Model Checker and Animator
The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html). The ProB source code is distributed under the EPL license (http://www.eclipse.org/org/documents/epl-v10.html).
......
logo.png 0 → 100644
+ 0
− 0
View file @ e68a6504
logo.png

54.6 KiB

0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment