Diffusion afp-devel c1ccabb7a324

tuned finite proofs
c1ccabb7a324
Actions

Tags

None

Subscribers

None

Description

tuned finite proofs

Details

Provenance

Authored on

Parents

rAFP6060e35afd31: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPc1ccabb7a324: tuned finite proofs.Jan 11 2024, 9:48 AM

Changes (9)

Path

Size

thys/

Automatic_Refinement/

Lib/

FSM_Tests/

Graph_Theory/

LTL_to_DRA/

Auxiliary/

Optics/

Scene_Spaces.thy

Polynomial_Factorization/

Missing_List.thy

Query_Optimization/

IKKBZ_Optimality.thy

Timed_Automata/

Floyd_Warshall.thy

rAFPc1ccabb7a324

thys/Automatic_Refinement/Lib/Misc.thy

Loading...

thys/FSM_Tests/FSM.thy

Loading...

thys/FSM_Tests/Util.thy

Loading...

thys/Graph_Theory/Euler.thy

Loading...

thys/LTL_to_DRA/Auxiliary/List2.thy

Loading...

thys/Optics/Scene_Spaces.thy

Loading...

thys/Polynomial_Factorization/Missing_List.thy

Loading...

thys/Query_Optimization/IKKBZ_Optimality.thy

Loading...

thys/Timed_Automata/Floyd_Warshall.thy

Loading...