Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Merge Requests
!15
Merged
Opened
Apr 24, 2018
by
sarah.grebing
@xt9634
Maintainer
Options
Matcher re implementation
Overview
0
Commits
14
Pipelines
14
Changes
53
Reimplementation of Matcher, which also includes a reimplementation of the matching in KeY
👍
0
👎
0