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 - a month ago
0
python

File Parser

File parser
Submitted by anonymous - 2 months ago
0
python

Python Regex Tutorial

Python Regex Tutorial CS384
Submitted by Mayank Agarwal - 2 months 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 - 3 months ago