Diffusion afp-devel ceef6cd8f2e9

tuned proofs to reduce verification time following Isabelle/7735645667f0
ceef6cd8f2e9
Actions

Tags

None

Subscribers

None

Description

tuned proofs to reduce verification time following Isabelle/7735645667f0

Details

Provenance

Authored on

Parents

rAFP21a01c3f98d1: merge

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPceef6cd8f2e9: tuned proofs to reduce verification time following Isabelle/7735645667f0.Mar 25 2024, 6:11 PM

Changes (2)

Path

Size

thys/

CakeML_Codegen/

Rewriting/

Rewriting_Pterm.thy

Rewriting_Pterm_Elim.thy

rAFPceef6cd8f2e9

thys/CakeML_Codegen/Rewriting/Rewriting_Pterm.thy

Loading...

thys/CakeML_Codegen/Rewriting/Rewriting_Pterm_Elim.thy

Loading...