You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: pages/tools.md
+2-2Lines changed: 2 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -1,10 +1,10 @@
1
1
---
2
2
layout: default
3
-
title: "Tools using Learning"
3
+
title: "Tools using LearnLib"
4
4
navbar-group: "Resources"
5
5
---
6
6
7
-
## Tools using LearLib
7
+
## Tools using LearnLib
8
8
9
9
This page lists (external) tools that are connected to LearnLib or its related projects either by using them as is or extending them with new features.
10
10
The goal of this page is to provide an overview of the LearnLib community and share information for fruitful collaborations in the future.
0 commit comments