Regular Expressions 101

Community Patterns

0

Get description

PCRE2 (PHP >=7.3)
sss
Submitted by anonymous - a year ago
0

Author names

Python
Matches author names
Submitted by anonymous - a year ago

Vampire output formulas

0

Regular Expression
Python

r"
^\[(?P<phase>\w+)\] (?P<operation>[\w ]+): (?P<formula_id>\d+)\. (?P<formula>.+) \[(?P<inference>[\w ,]*)\]$
"
mg

Description

Loading markdown...
Submitted by Filip Bártek - a year ago