Diffusion Isabelle 2c093a3167d1

added Mirabelle action presburger
2c093a3167d1
Actions

Tags

None

Subscribers

None

Description

added Mirabelle action presburger

Details

Provenance

Authored on

Parents

rISABELLE64c0d78d2f19: added timing to Mirabelle action arith

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE2c093a3167d1: added Mirabelle action presburger.Oct 18 2021, 11:15 AM

Changes (6)

Path

Size

mirabelle_presburger.ML

rISABELLE2c093a3167d1

src/HOL/Mirabelle.thy

Loading...

src/HOL/Tools/Mirabelle/mirabelle_presburger.ML

Loading...