designed for deriving correct-by-construction implementations from legislative texts
Catala Lang
Creator
Creator
Seonglae ChoCreated
Created
2023 Sep 18 15:3Editor
Editor
Seonglae ChoEdited
Edited
2023 Sep 18 15:4Refs
Refs
Seonglae ChoSeonglae Cho