News
Author (s): Kazuhiko Sakaguchi (initial) Cyril Cohen License: CeCILL-B Free Software License Agreement Compatible Rocq/Coq versions: 8.19 or later Additional dependencies: MathComp ssreflect 2.3.0 or ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback