HomeIsabelle/Phabricator
Diffusion afp-devel 6d58e998e657

tuned;
6d58e998e657
Actions

Description

tuned;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP72772a622eb3: merged
Branches
Unknown
Tags
Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rAFP6d58e998e657: tuned;.Sep 8 2022, 6:50 PM

Changes (23)

PathSize
metadata/
entries/

rAFP6d58e998e657

View Options

metadata/entries/Affine_Arithmetic.toml

Loading...
View Options

metadata/entries/Algebraic_Numbers.toml

Loading...
View Options

metadata/entries/Amortized_Complexity.toml

Loading...
View Options

metadata/entries/Applicative_Lifting.toml

Loading...
View Options

metadata/entries/Approximation_Algorithms.toml

Loading...
View Options

metadata/entries/Architectural_Design_Patterns.toml

Loading...
View Options

metadata/entries/Collections.toml

Loading...
View Options

metadata/entries/Containers.toml

Loading...
View Options

metadata/entries/Efficient-Mergesort.toml

Loading...
View Options

metadata/entries/Flyspeck-Tame.toml

Loading...
View Options

metadata/entries/Interpreter_Optimizations.toml

Loading...
View Options

metadata/entries/Jordan_Normal_Form.toml

Loading...
View Options

metadata/entries/LLL_Basis_Reduction.toml

Loading...
View Options

metadata/entries/LTL_to_DRA.toml

Loading...
View Options

metadata/entries/Launchbury.toml

Loading...
View Options

metadata/entries/Native_Word.toml

Loading...
View Options

metadata/entries/Ordinary_Differential_Equations.toml

Loading...
View Options

metadata/entries/Polynomials.toml

Loading...
View Options

metadata/entries/Regular-Sets.toml

Loading...
View Options

metadata/entries/Resolution_FOL.toml

Loading...
View Options

metadata/entries/Show.toml

Loading...
View Options

metadata/entries/Sqrt_Babylonian.toml

Loading...
View Options

metadata/entries/Well_Quasi_Orders.toml

Loading...