Releases: lammich/isabelle_llvm
Releases · lammich/isabelle_llvm
Parallel Sorting: artefact release
Release accompanying paper: Refinement of Parallel Algorithms down to LLVM, submitted to JAR SI ITP 2022.
Release accompanying paper: Refinement of Parallel Algorithms down to LLVM, submitted to JAR SI ITP 2022.