summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mastersci-mathematics/lean: gmp slotMaciej Barć7 min.