Loading README.md +1 −1 Original line number Diff line number Diff line # CoPaR, the `Co`algebraic `Pa`rtition `Re`finer # CoPaR, the `Co`algebraic `Pa`rtition `R`efiner ## Building Loading Loading
README.md +1 −1 Original line number Diff line number Diff line # CoPaR, the `Co`algebraic `Pa`rtition `Re`finer # CoPaR, the `Co`algebraic `Pa`rtition `R`efiner ## Building Loading