Tree @
upstream/8.14.0+dfsg
(
Download .tar.gz
)
..
Algebra_syntax.v
ArithRing.v
BinList.v
Cring.v
Field.v
Field_tac.v
Field_theory.v
InitialRing.v
Integral_domain.v
NArithRing.v
Ncring.v
Ncring_initial.v
Ncring_polynom.v
Ncring_tac.v
RealField.v
Ring.v
Ring_base.v
Ring_polynom.v
Ring_tac.v
Ring_theory.v
Rings_Q.v
Rings_R.v
Rings_Z.v
ZArithRing.v
History of theories
/
setoid_ring
@
upstream/8.14.0+dfsg
New upstream version 8.14.0+dfsg
Julien Puydt
2 years ago
New upstream version 8.12.0
Ralf Treinen
3 years ago