aboutsummaryrefslogtreecommitdiff
path: root/theories/Numbers/Rational/SpecViaQ
AgeCommit message (Expand)Author
2008-06-25Some work on BigQ :letouzey
2008-06-01BigQ: starting to create and use an interface QSigletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-19 14:15:13 +0000