Something went wrong on our end
-
Sylvain Dailler authored
The underlying datastructure is not satisfying nor are the proofs but at least there is a quick simple realization. It uses ClassicalEpsilon axioms such as excluded middle, indefinite_description etc... Some theory realizations are very far from reality because the axiom characterization is small.
Sylvain Dailler authoredThe underlying datastructure is not satisfying nor are the proofs but at least there is a quick simple realization. It uses ClassicalEpsilon axioms such as excluded middle, indefinite_description etc... Some theory realizations are very far from reality because the axiom characterization is small.