/usr/lib/coq/user-contrib/mathcomp/ is in libssreflect-coq 1.6.1-2.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/user-contrib/mathcomp/algebra/
|
root:root | 0o755 | ||
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.glob
|
text/plain | root:root | 0o644 | 715 bytes |
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.v
|
text/plain | root:root | 0o644 | 353 bytes |
/usr/lib/coq/user-contrib/mathcomp/algebra/all_algebra.vo
|
application/octet-stream | root:root | 0o644 | 57.6 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.glob
|
text/plain | root:root | 0o644 | 180.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.v
|
text/plain | root:root | 0o644 | 49.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/finalg.vo
|
application/octet-stream | root:root | 0o644 | 308.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.glob
|
text/plain | root:root | 0o644 | 440.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.v
|
text/plain | root:root | 0o644 | 45.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/intdiv.vo
|
application/octet-stream | root:root | 0o644 | 496.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.glob
|
text/plain | root:root | 0o644 | 257.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.v
|
text/plain | root:root | 0o644 | 16.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/interval.vo
|
application/octet-stream | root:root | 0o644 | 181.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.glob
|
text/plain | root:root | 0o644 | 857.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.v
|
text/plain | root:root | 0o644 | 109.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/matrix.vo
|
application/octet-stream | root:root | 0o644 | 1.1 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.glob
|
text/plain | root:root | 0o644 | 1015.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.v
|
text/plain | root:root | 0o644 | 116.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxalgebra.vo
|
application/octet-stream | root:root | 0o644 | 1.7 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.glob
|
text/plain | root:root | 0o644 | 410.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.v
|
text/plain | root:root | 0o644 | 46.2 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/mxpoly.vo
|
application/octet-stream | root:root | 0o644 | 603.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.glob
|
text/plain | root:root | 0o644 | 782.2 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.v
|
text/plain | root:root | 0o644 | 92.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/poly.vo
|
application/octet-stream | root:root | 0o644 | 802.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.glob
|
text/plain | root:root | 0o644 | 156.9 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.v
|
text/plain | root:root | 0o644 | 17.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polyXY.vo
|
application/octet-stream | root:root | 0o644 | 236.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.glob
|
text/plain | root:root | 0o644 | 1.3 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.v
|
text/plain | root:root | 0o644 | 127.3 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/polydiv.vo
|
application/octet-stream | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.glob
|
text/plain | root:root | 0o644 | 341.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.v
|
text/plain | root:root | 0o644 | 28.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/rat.vo
|
application/octet-stream | root:root | 0o644 | 287.6 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.glob
|
text/plain | root:root | 0o644 | 108.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.v
|
text/plain | root:root | 0o644 | 26.5 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ring_quotient.vo
|
application/octet-stream | root:root | 0o644 | 248.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.glob
|
text/plain | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.v
|
text/plain | root:root | 0o644 | 238.1 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssralg.vo
|
application/octet-stream | root:root | 0o644 | 1.5 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.glob
|
text/plain | root:root | 0o644 | 698.0 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.v
|
text/plain | root:root | 0o644 | 56.4 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrint.vo
|
application/octet-stream | root:root | 0o644 | 437.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.glob
|
text/plain | root:root | 0o644 | 1.4 MB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.v
|
text/plain | root:root | 0o644 | 151.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/ssrnum.vo
|
application/octet-stream | root:root | 0o644 | 965.7 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.glob
|
text/plain | root:root | 0o644 | 543.6 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.v
|
text/plain | root:root | 0o644 | 75.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/vector.vo
|
application/octet-stream | root:root | 0o644 | 806.9 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.glob
|
text/plain | root:root | 0o644 | 63.8 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.v
|
text/plain | root:root | 0o644 | 13.2 KB |
/usr/lib/coq/user-contrib/mathcomp/algebra/zmodp.vo
|
application/octet-stream | root:root | 0o644 | 99.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/
|
root:root | 0o755 | ||
/usr/lib/coq/user-contrib/mathcomp/character/all_character.glob
|
text/plain | root:root | 0o644 | 411 bytes |
/usr/lib/coq/user-contrib/mathcomp/character/all_character.v
|
text/plain | root:root | 0o644 | 190 bytes |
/usr/lib/coq/user-contrib/mathcomp/character/all_character.vo
|
application/octet-stream | root:root | 0o644 | 60.7 KB |
/usr/lib/coq/user-contrib/mathcomp/character/character.glob
|
text/plain | root:root | 0o644 | 1.1 MB |
/usr/lib/coq/user-contrib/mathcomp/character/character.v
|
text/plain | root:root | 0o644 | 113.2 KB |
/usr/lib/coq/user-contrib/mathcomp/character/character.vo
|
application/octet-stream | root:root | 0o644 | 1.4 MB |
/usr/lib/coq/user-contrib/mathcomp/character/classfun.glob
|
text/plain | root:root | 0o644 | 865.7 KB |
/usr/lib/coq/user-contrib/mathcomp/character/classfun.v
|
text/plain | root:root | 0o644 | 96.3 KB |
/usr/lib/coq/user-contrib/mathcomp/character/classfun.vo
|
application/octet-stream | root:root | 0o644 | 1.2 MB |
/usr/lib/coq/user-contrib/mathcomp/character/inertia.glob
|
text/plain | root:root | 0o644 | 758.2 KB |
/usr/lib/coq/user-contrib/mathcomp/character/inertia.v
|
text/plain | root:root | 0o644 | 68.7 KB |
/usr/lib/coq/user-contrib/mathcomp/character/inertia.vo
|
application/octet-stream | root:root | 0o644 | 819.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.glob
|
text/plain | root:root | 0o644 | 361.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.v
|
text/plain | root:root | 0o644 | 35.5 KB |
/usr/lib/coq/user-contrib/mathcomp/character/integral_char.vo
|
application/octet-stream | root:root | 0o644 | 518.8 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.glob
|
text/plain | root:root | 0o644 | 369.5 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.v
|
text/plain | root:root | 0o644 | 42.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxabelem.vo
|
application/octet-stream | root:root | 0o644 | 533.2 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.glob
|
text/plain | root:root | 0o644 | 2.0 MB |
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.v
|
text/plain | root:root | 0o644 | 236.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/mxrepresentation.vo
|
application/octet-stream | root:root | 0o644 | 3.2 MB |
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.glob
|
text/plain | root:root | 0o644 | 392.0 KB |
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.v
|
text/plain | root:root | 0o644 | 37.9 KB |
/usr/lib/coq/user-contrib/mathcomp/character/vcharacter.vo
|
application/octet-stream | root:root | 0o644 | 475.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/
|
root:root | 0o755 | ||
/usr/lib/coq/user-contrib/mathcomp/field/algC.glob
|
text/plain | root:root | 0o644 | 649.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algC.v
|
text/plain | root:root | 0o644 | 72.6 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algC.vo
|
application/octet-stream | root:root | 0o644 | 708.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.glob
|
text/plain | root:root | 0o644 | 480.1 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.v
|
text/plain | root:root | 0o644 | 52.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algebraics_fundamentals.vo
|
application/octet-stream | root:root | 0o644 | 719.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algnum.glob
|
text/plain | root:root | 0o644 | 327.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algnum.v
|
text/plain | root:root | 0o644 | 38.6 KB |
/usr/lib/coq/user-contrib/mathcomp/field/algnum.vo
|
application/octet-stream | root:root | 0o644 | 555.6 KB |
/usr/lib/coq/user-contrib/mathcomp/field/all_field.glob
|
text/plain | root:root | 0o644 | 503 bytes |
/usr/lib/coq/user-contrib/mathcomp/field/all_field.v
|
text/plain | root:root | 0o644 | 264 bytes |
/usr/lib/coq/user-contrib/mathcomp/field/all_field.vo
|
application/octet-stream | root:root | 0o644 | 59.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.glob
|
text/plain | root:root | 0o644 | 343.3 KB |
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.v
|
text/plain | root:root | 0o644 | 24.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/closed_field.vo
|
application/octet-stream | root:root | 0o644 | 299.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/countalg.glob
|
text/plain | root:root | 0o644 | 238.3 KB |
/usr/lib/coq/user-contrib/mathcomp/field/countalg.v
|
text/plain | root:root | 0o644 | 48.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/countalg.vo
|
application/octet-stream | root:root | 0o644 | 376.8 KB |
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.glob
|
text/plain | root:root | 0o644 | 125.1 KB |
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.v
|
text/plain | root:root | 0o644 | 14.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/cyclotomic.vo
|
application/octet-stream | root:root | 0o644 | 187.2 KB |
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.glob
|
text/plain | root:root | 0o644 | 321.3 KB |
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.v
|
text/plain | root:root | 0o644 | 47.0 KB |
/usr/lib/coq/user-contrib/mathcomp/field/falgebra.vo
|
application/octet-stream | root:root | 0o644 | 464.4 KB |
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.glob
|
text/plain | root:root | 0o644 | 470.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.v
|
text/plain | root:root | 0o644 | 66.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/fieldext.vo
|
application/octet-stream | root:root | 0o644 | 3.7 MB |
/usr/lib/coq/user-contrib/mathcomp/field/galois.glob
|
text/plain | root:root | 0o644 | 576.5 KB |
/usr/lib/coq/user-contrib/mathcomp/field/galois.v
|
text/plain | root:root | 0o644 | 69.1 KB |
/usr/lib/coq/user-contrib/mathcomp/field/galois.vo
|
application/octet-stream | root:root | 0o644 | 1.0 MB |
/usr/lib/coq/user-contrib/mathcomp/field/separable.glob
|
text/plain | root:root | 0o644 | 435.9 KB |
/usr/lib/coq/user-contrib/mathcomp/field/separable.v
|
text/plain | root:root | 0o644 | 43.8 KB |
/usr/lib/coq/user-contrib/mathcomp/field/separable.vo
|
application/octet-stream | root:root | 0o644 | 529.9 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/
|
root:root | 0o755 | ||
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.glob
|
text/plain | root:root | 0o644 | 935.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.v
|
text/plain | root:root | 0o644 | 99.1 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/action.vo
|
application/octet-stream | root:root | 0o644 | 1009.4 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.glob
|
text/plain | root:root | 0o644 | 434 bytes |
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.v
|
text/plain | root:root | 0o644 | 202 bytes |
/usr/lib/coq/user-contrib/mathcomp/fingroup/all_fingroup.vo
|
application/octet-stream | root:root | 0o644 | 30.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.glob
|
text/plain | root:root | 0o644 | 136.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.v
|
text/plain | root:root | 0o644 | 16.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/automorphism.vo
|
application/octet-stream | root:root | 0o644 | 190.4 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.glob
|
text/plain | root:root | 0o644 | 860.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.v
|
text/plain | root:root | 0o644 | 112.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/fingroup.vo
|
application/octet-stream | root:root | 0o644 | 694.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.glob
|
text/plain | root:root | 0o644 | 606.4 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.v
|
text/plain | root:root | 0o644 | 62.1 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/gproduct.vo
|
application/octet-stream | root:root | 0o644 | 863.8 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.glob
|
text/plain | root:root | 0o644 | 530.6 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.v
|
text/plain | root:root | 0o644 | 52.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/morphism.vo
|
application/octet-stream | root:root | 0o644 | 523.5 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.glob
|
text/plain | root:root | 0o644 | 175.8 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.v
|
text/plain | root:root | 0o644 | 23.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/perm.vo
|
application/octet-stream | root:root | 0o644 | 239.3 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.glob
|
text/plain | root:root | 0o644 | 42.2 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.v
|
text/plain | root:root | 0o644 | 11.1 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/presentation.vo
|
application/octet-stream | root:root | 0o644 | 92.9 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.glob
|
text/plain | root:root | 0o644 | 313.7 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.v
|
text/plain | root:root | 0o644 | 33.9 KB |
/usr/lib/coq/user-contrib/mathcomp/fingroup/quotient.vo
|
application/octet-stream | root:root | 0o644 | 305.4 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/
|
root:root | 0o755 | ||
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.glob
|
text/plain | root:root | 0o644 | 831.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.v
|
text/plain | root:root | 0o644 | 88.0 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/abelian.vo
|
application/octet-stream | root:root | 0o644 | 935.7 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.glob
|
text/plain | root:root | 0o644 | 892 bytes |
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.v
|
text/plain | root:root | 0o644 | 450 bytes |
/usr/lib/coq/user-contrib/mathcomp/solvable/all_solvable.vo
|
application/octet-stream | root:root | 0o644 | 32.4 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.glob
|
text/plain | root:root | 0o644 | 234.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.v
|
text/plain | root:root | 0o644 | 23.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/alt.vo
|
application/octet-stream | root:root | 0o644 | 296.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/center.glob
|
text/plain | root:root | 0o644 | 218.5 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/center.v
|
text/plain | root:root | 0o644 | 24.0 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/center.vo
|
application/octet-stream | root:root | 0o644 | 420.3 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.glob
|
text/plain | root:root | 0o644 | 165.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.v
|
text/plain | root:root | 0o644 | 13.1 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/commutator.vo
|
application/octet-stream | root:root | 0o644 | 138.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.glob
|
text/plain | root:root | 0o644 | 299.3 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.v
|
text/plain | root:root | 0o644 | 32.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/cyclic.vo
|
application/octet-stream | root:root | 0o644 | 302.5 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.glob
|
text/plain | root:root | 0o644 | 408.2 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.v
|
text/plain | root:root | 0o644 | 41.0 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/extraspecial.vo
|
application/octet-stream | root:root | 0o644 | 529.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.glob
|
text/plain | root:root | 0o644 | 1.4 MB |
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.v
|
text/plain | root:root | 0o644 | 119.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/extremal.vo
|
application/octet-stream | root:root | 0o644 | 2.0 MB |
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.glob
|
text/plain | root:root | 0o644 | 269.5 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.v
|
text/plain | root:root | 0o644 | 26.6 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/finmodule.vo
|
application/octet-stream | root:root | 0o644 | 326.3 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.glob
|
text/plain | root:root | 0o644 | 304.3 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.v
|
text/plain | root:root | 0o644 | 34.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/frobenius.vo
|
application/octet-stream | root:root | 0o644 | 365.2 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.glob
|
text/plain | root:root | 0o644 | 93.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.v
|
text/plain | root:root | 0o644 | 19.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/gfunctor.vo
|
application/octet-stream | root:root | 0o644 | 128.2 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.glob
|
text/plain | root:root | 0o644 | 140.5 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.v
|
text/plain | root:root | 0o644 | 20.6 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/gseries.vo
|
application/octet-stream | root:root | 0o644 | 217.2 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.glob
|
text/plain | root:root | 0o644 | 439.0 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.v
|
text/plain | root:root | 0o644 | 41.5 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/hall.vo
|
application/octet-stream | root:root | 0o644 | 448.6 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.glob
|
text/plain | root:root | 0o644 | 220.7 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.v
|
text/plain | root:root | 0o644 | 29.1 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/jordanholder.vo
|
application/octet-stream | root:root | 0o644 | 248.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.glob
|
text/plain | root:root | 0o644 | 771.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.v
|
text/plain | root:root | 0o644 | 73.5 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/maximal.vo
|
application/octet-stream | root:root | 0o644 | 877.3 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.glob
|
text/plain | root:root | 0o644 | 278.1 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.v
|
text/plain | root:root | 0o644 | 27.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/nilpotent.vo
|
application/octet-stream | root:root | 0o644 | 252.1 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.glob
|
text/plain | root:root | 0o644 | 472.7 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.v
|
text/plain | root:root | 0o644 | 50.4 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/pgroup.vo
|
application/octet-stream | root:root | 0o644 | 359.2 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.glob
|
text/plain | root:root | 0o644 | 126.7 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.v
|
text/plain | root:root | 0o644 | 14.8 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/primitive_action.vo
|
application/octet-stream | root:root | 0o644 | 196.9 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.glob
|
text/plain | root:root | 0o644 | 285.0 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.v
|
text/plain | root:root | 0o644 | 27.4 KB |
/usr/lib/coq/user-contrib/mathcomp/solvable/sylow.vo
|
application/octet-stream | root:root | 0o644 | 284.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/
|
root:root | 0o755 | ||
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob
|
text/plain | root:root | 0o644 | 884 bytes |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v
|
text/plain | root:root | 0o644 | 422 bytes |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo
|
application/octet-stream | root:root | 0o644 | 29.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.glob
|
text/plain | root:root | 0o644 | 502.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.v
|
text/plain | root:root | 0o644 | 72.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/bigop.vo
|
application/octet-stream | root:root | 0o644 | 402.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.glob
|
text/plain | root:root | 0o644 | 223.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.v
|
text/plain | root:root | 0o644 | 23.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/binomial.vo
|
application/octet-stream | root:root | 0o644 | 245.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.glob
|
text/plain | root:root | 0o644 | 104.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.v
|
text/plain | root:root | 0o644 | 27.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/choice.vo
|
application/octet-stream | root:root | 0o644 | 168.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.glob
|
text/plain | root:root | 0o644 | 280.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.v
|
text/plain | root:root | 0o644 | 33.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/div.vo
|
application/octet-stream | root:root | 0o644 | 230.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.glob
|
text/plain | root:root | 0o644 | 112.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.v
|
text/plain | root:root | 0o644 | 31.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/eqtype.vo
|
application/octet-stream | root:root | 0o644 | 125.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.glob
|
text/plain | root:root | 0o644 | 56.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.v
|
text/plain | root:root | 0o644 | 11.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finfun.vo
|
application/octet-stream | root:root | 0o644 | 114.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.glob
|
text/plain | root:root | 0o644 | 162.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.v
|
text/plain | root:root | 0o644 | 26.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fingraph.vo
|
application/octet-stream | root:root | 0o644 | 219.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.glob
|
text/plain | root:root | 0o644 | 618.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.v
|
text/plain | root:root | 0o644 | 83.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/finset.vo
|
application/octet-stream | root:root | 0o644 | 561.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.glob
|
text/plain | root:root | 0o644 | 413.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.v
|
text/plain | root:root | 0o644 | 75.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/fintype.vo
|
application/octet-stream | root:root | 0o644 | 423.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob
|
text/plain | root:root | 0o644 | 103.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v
|
text/plain | root:root | 0o644 | 27.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo
|
application/octet-stream | root:root | 0o644 | 143.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.glob
|
text/plain | root:root | 0o644 | 182.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.v
|
text/plain | root:root | 0o644 | 33.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/path.vo
|
application/octet-stream | root:root | 0o644 | 257.4 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.glob
|
text/plain | root:root | 0o644 | 472.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.v
|
text/plain | root:root | 0o644 | 56.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/prime.vo
|
application/octet-stream | root:root | 0o644 | 434.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.glob
|
text/plain | root:root | 0o644 | 513.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.v
|
text/plain | root:root | 0o644 | 88.5 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/seq.vo
|
application/octet-stream | root:root | 0o644 | 639.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob
|
text/plain | root:root | 0o644 | 281.2 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.v
|
text/plain | root:root | 0o644 | 86.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo
|
application/octet-stream | root:root | 0o644 | 291.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob
|
text/plain | root:root | 0o644 | 16.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.v
|
text/plain | root:root | 0o644 | 22.0 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo
|
application/octet-stream | root:root | 0o644 | 35.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob
|
text/plain | root:root | 0o644 | 63.3 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.v
|
text/plain | root:root | 0o644 | 40.9 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo
|
application/octet-stream | root:root | 0o644 | 87.1 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob
|
text/plain | root:root | 0o644 | 363.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.v
|
text/plain | root:root | 0o644 | 56.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo
|
application/octet-stream | root:root | 0o644 | 308.8 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.glob
|
text/plain | root:root | 0o644 | 79.7 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.v
|
text/plain | root:root | 0o644 | 14.6 KB |
/usr/lib/coq/user-contrib/mathcomp/ssreflect/tuple.vo
|
application/octet-stream | root:root | 0o644 | 126.5 KB |