Diffusion Isabelle f140135ff375

example applications of the 'metric' decision procedure, by Maximilian…
f140135ff375
Actions

Tags

None

Subscribers

None

Description

example applications of the 'metric' decision procedure, by Maximilian Schäffeler

Details

Provenance

Authored on

Parents

rISABELLE678b2abe9f7d: decision procedure for metric spaces, implemented by Maximilian Schäffeler

Branches

Unknown

Tags

Unknown

Event Timeline

immler committed rISABELLEf140135ff375: example applications of the 'metric' decision procedure, by Maximilian….Oct 27 2019, 5:26 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Equivalence_Lebesgue_Henstock_Integration.thy

Topology_Euclidean_Space.thy

rISABELLEf140135ff375

src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy

Loading...

src/HOL/Analysis/Topology_Euclidean_Space.thy

Loading...