Regular Expressions 101

Sponsors

Library entries

0
javascript

Mask currency default

mask currency default
Submitted by Rafaella Cintra - a month ago
0
python

DD followed by Month in String

-
Submitted by anonymous - a month ago
0
python

EC2 Instance Type

Validates ec2 instance types as of 10/19/22
Submitted by anonymous - a month ago
0
python

Inf_lab2

Regular expressions for lab2
Submitted by anonymous - 2 months ago
0
python

File Parser

File parser
Submitted by anonymous - 2 months ago

Vampire output formulas

Vote

0

Regular Expression
python

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

Description

Loading markdown...
Submitted by Filip Bártek - 4 months ago