aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Number/Parigot.bruijn
AgeCommit message (Expand)Author
2025-01-23Improve Parigot numbersMarvin Borner
2024-08-02Improved Parigot data typesMarvin Borner
2024-05-02More mathMarvin Borner