Open hoheinzollern opened 1 year ago
As discussed with @ndslusarz yesterday, the formalization is using various T-norms (and T-conorms), so we should design a proper interface and organize our lemmas to make use of it.
See for example Wikipedia: https://en.wikipedia.org/wiki/T-norm
As discussed with @ndslusarz yesterday, the formalization is using various T-norms (and T-conorms), so we should design a proper interface and organize our lemmas to make use of it.
See for example Wikipedia: https://en.wikipedia.org/wiki/T-norm