History

Achim D. Brucker 167786bb09 Update/cleanup.		2026-02-01 18:47:01 +00:00
..
document	...	2026-01-30 17:33:20 +01:00
C0_Introduction.thy	...	2026-01-30 17:33:20 +01:00
C1_Installation.thy	...	2026-01-30 17:33:20 +01:00
C2_Basics.thy	...	2026-01-30 17:33:20 +01:00
C3_DocumentStructure.thy	...	2026-01-30 17:33:20 +01:00
IsabelleDOFUserManual.thy	...	2026-01-30 17:33:20 +01:00
README.md	...	2026-01-30 17:33:20 +01:00
ROOT	...	2026-01-30 17:33:20 +01:00

README.md

Intro

During my third year at Universite Paris-Saclay, I did a TER (Travail d'Etude et de Recherche, or a study and research project) at the Laboratoire de méthodes formelles (LMF). My task was to write a user manual for the langage Isabelle/DOF, which provides a document ontology framework on top of Isabelle/HOL.

Author

Mathilde Needham

Status

In progress