Regular Expressions 101

Sponsors

Library entries

0
python

foengz1

htmltag
Submitted by Foengz - 11 days ago
0
golang

S3 Path with ending .json

S3 Path with ending .json
Submitted by Sowmith - 15 days ago
0
python

Project

Project
Submitted by anonymous - 16 days ago
1
python

surnames

italian uppercase surnames
Submitted by anonymous - 23 days ago
0
python

AyL

Example of re and substitutions with csv file
Submitted by Ing Daniel Pérez - 23 days ago
0
python

number two decimal digit

.
Submitted by anonymous - 25 days ago
1
golang

1

11
Submitted by anonymous - a month 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 - a month ago