To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:04629675feebc982633c9417a120a85e6d04e829
VERSION_DEPENDENT_FILES := \ src/Algebra/NsatzTactic.v \ #