As part of a foray into set theory, we could add a settheory module which is a partly separated from the typical muscala packages, and provides some logical support for some of the concepts found in the rest of the project. To start, we can add normal order and various type definitions
CookieComputing
commented
3 years ago
As part of a foray into set theory, we could add a
settheorymodule which is a partly separated from the typical muscala packages, and provides some logical support for some of the concepts found in the rest of the project. To start, we can add normal order and various type definitions