Regular Expressions 101

Sponsors

Library entries

0
python

foengz1

htmltag
Submitted by Foengz - 13 days ago
0
dotnet

IP Table Parse IPID

Match 1 is the IPID
Submitted by Tres Little - 14 days ago
0
python

Project

Project
Submitted by anonymous - 18 days ago
1
python

surnames

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

AyL

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

title and page

find title and page in text
Submitted by anonymous - a month ago

Vampire proof formulas

Vote

0

Regular Expression
python

"
^(?P<formula_id>\d+)\. (?P<formula>.+) \[(?P<inference_rule>[\w ]*)(?: (?P<inference_parents>[\d,]+))?\](?: \{(?P<extra>[\w,:-]*)\})?$
"
mg

Description

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