Diffusion afp-devel 125fba65042f

Add papers to abstracts.
125fba65042f
Actions

Tags

None

Subscribers

None

Description

Add papers to abstracts.

Details

Provenance

Asta Halkjær From <andro.from@gmail.com>

Authored on

Parents

rAFP26adfcf755e4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Asta Halkjær From <andro.from@gmail.com> committed rAFP125fba65042f: Add papers to abstracts..Sep 16 2022, 12:11 PM

Changes (3)

Path

Size

metadata/

entries/

FOL_Axiomatic.toml

FOL_Seq_Calc2.toml

Hybrid_Logic.toml

rAFP125fba65042f

metadata/entries/FOL_Axiomatic.toml

Loading...

metadata/entries/FOL_Seq_Calc2.toml

Loading...

metadata/entries/Hybrid_Logic.toml

Loading...