We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 945f77f commit 617a659Copy full SHA for 617a659
1 file changed
README.md
@@ -5,7 +5,7 @@ The Process Hitting is a recently introduced formalism suited for modelling qual
5
6
[Pint](https://github.com/pauleve/pint/) implements the language, simulation, formal analysis, and translation of Process Hitting models.
7
8
-
+
9
10
## Dependencies
11
### Compile-time
0 commit comments