Open csnyulas opened 5 years ago
Currently the axioms that are part of a justification cannot be copied to the clipboard, or exported in any other way. This may be a useful feature.
Currently the axioms that are part of a justification cannot be copied to the clipboard, or exported in any other way. This may be a useful feature.