Regular Expressions 101

Sponsors

Library entries

0
javascript

https

https
Submitted by anonymous - 17 hours ago
0
python

meter number

meter number
Submitted by econ - a day ago
0
python

whatsapp meta data

[8/23/18, 2:05:50 PM]
Submitted by Mandar Gite - 3 days ago
0
python

bkengine 单行宏匹配

bkengine 单行宏匹配
Submitted by anonymous - 3 days ago
0
python

取等号两边的数据

取等号两边的数据
Submitted by 小沙盒工作室 - 3 days ago
0
pcre

helix word motion

helix word motion
Submitted by anonymous - 3 days ago
0
python

Match files' extention

match files' extention
Submitted by anonymous - 4 days ago
0
pcre

Kafka topic name regex

Kafka topic name regex
Submitted by anonymous - 4 days ago
0
python

去除首尾空格

去除首尾空格
Submitted by anonymous - 4 days ago
0
python

`git` URL

Match git URL components (including partial URLs).
Submitted by anonymous - 4 days 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 - 2 months ago