Regular Expressions 101

Sponsors

Library entries

0
python

foengz1

htmltag
Submitted by Foengz - 7 days ago
0
golang

S3 Path with ending .json

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

Project

Project
Submitted by anonymous - 11 days ago
1
python

surnames

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

AyL

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

number two decimal digit

.
Submitted by anonymous - 20 days ago
1
golang

1

11
Submitted by anonymous - a month ago
0
python

EC21 docs

Get AT explain
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 - a month ago