Closed neuroimaginador closed 5 years ago
Merge after adding functions for saving and loading formal contexts
Merge after adding functions for saving and loading formal contexts