HomeIsabelle/Phabricator
Diffusion afp-devel 6927929601ba

document change in metadata
6927929601ba
Actions

Description

document change in metadata

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP6cf62d8e618e: generalized fixed bounds on determinants to predicate; added an improved…
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP6927929601ba: document change in metadata.Jul 3 2022, 5:58 PM

Changes (1)

PathSize
metadata/
entries/

rAFP6927929601ba

View Options

metadata/entries/Linear_Inequalities.toml

Loading...