HomeIsabelle/Phabricator
Diffusion afp-devel 073e8a114c2e

metadata for Metalogic_ProofChecker
073e8a114c2e
Actions

Description

metadata for Metalogic_ProofChecker

Details

Provenance
Andreas Lochbihler <mail@andreas-lochbihler.de>Authored on
Parents
rAFP8e9ea5fc7383: new entry Metalogic_ProofChecker
Branches
Unknown
Tags
Unknown

Event Timeline

Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP073e8a114c2e: metadata for Metalogic_ProofChecker.Apr 28 2021, 10:21 AM

Changes (9)

PathSize
metadata/

rAFP073e8a114c2e

View Options

metadata/metadata

Loading...
View Options

web/entries/List-Index.html

Loading...
View Options

web/entries/Metalogic_ProofChecker.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...