HomeIsabelle/Phabricator
Diffusion afp-devel ad98c97b528c

new submission: VeriComp
ad98c97b528c
Actions

Description

new submission: VeriComp

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP0b92dd22ffb1: New entry: Goodstein_Lambda
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPad98c97b528c: new submission: VeriComp.Feb 25 2020, 9:50 AM

Changes (16)

PathSize

rAFPad98c97b528c

View Options

thys/ROOTS

Loading...
View Options

thys/VeriComp/Behaviour.thy

Loading...
View Options

thys/VeriComp/Compiler.thy

Loading...
View Options

thys/VeriComp/Fixpoint.thy

Loading...
View Options

thys/VeriComp/Inf.thy

Loading...
View Options

thys/VeriComp/LICENSE.txt

Loading...
View Options

thys/VeriComp/Language.thy

Loading...
View Options

thys/VeriComp/ROOT

Loading...
View Options

thys/VeriComp/Semantics.thy

Loading...
View Options

thys/VeriComp/Simulation.thy

Loading...
View Options

thys/VeriComp/Well_founded.thy

Loading...
View Options

thys/VeriComp/document/root.bib

Loading...
View Options

thys/VeriComp/document/root.tex

Loading...