AtticusKuhn/parallel-algorithms

Proving the correctness and performance of certain parallel algorithms

语言：TeX · GitHub 星标：4 · Fork：0

话题：agda · formal-methods · formal-verification · parallel-computing

在 GitHub 上查看原仓库