address metadata warnings
25d3a93bcb98
Actions

Description

address metadata warnings

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

metadata/

entries/

web/

entries/

rAFP25d3a93bcb98

metadata/authors.toml

metadata/entries/Refine_Imperative_HOL.toml

metadata/entries/Separation_Logic_Imperative_HOL.toml

web/entries/Refine_Imperative_HOL.html

web/entries/Separation_Logic_Imperative_HOL.html

address metadata warnings25d3a93bcb98Actions

Description

Details

Changes (5)

rAFP25d3a93bcb98

metadata/authors.toml

metadata/entries/Refine_Imperative_HOL.toml

metadata/entries/Separation_Logic_Imperative_HOL.toml

web/entries/Refine_Imperative_HOL.html

web/entries/Separation_Logic_Imperative_HOL.html

address metadata warnings
25d3a93bcb98
Actions