Commit1b27a30

authored

Update index.md

1 parent9548d21 commit1b27a30Copy full SHA for 1b27a30

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ This website gives a brief overview of our [HOLMS library](https://github.com/HO`
`26`	`26`	`- Antonella Bilotta (2025)<br/>`
`27`	`27`	`*Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library*.<br/>`
`28`	`28`	`Master’s Thesis, Università degli Studi di Firenze, Firenze (Italy).<br/>`
`29`		`- DOI arxiv:[2506.10048)](https://arxiv.org/abs/2506.10048) (Open access)`
	`29`	`+ DOI arxiv:[2506.10048](https://arxiv.org/abs/2506.10048) (Open access)`
`30`	`30`
`31`	`31`	`- Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi (2025)<br/>`
`32`	`32`	`*Growing a Modular Framework for Modal Systems: HOLMS.*.<br/>`

Comments

(0)