Package set_theory
Eiffel classes modeled upon the concepts of set theory
tags: specification set theory model
Archive
(127093 octets -- Fri, 30 Jun 2023 19:13:41 GMT SHA1:B55CCB20496105401586462BAC38DB82808DCD57)
Associated URIs
iron install set_theory
Fri, 30 Jun 2023 19:13:41 GMT