You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-mathcomp-field-extra

Overview
Homepage

You can search for identifiers within the package.

in-package search v0.2.0

Extra Mathematical Components Library on Fields

Install

Dune Dependency

ssr.msr-inria.inria.fr Edit opam file Versions (1)

Authors

J

Jeremy Avigad <>
A

Andrea Asperti <>
S

Stephane Le Roux <>
Y

Yves Bertot <>
L

Laurence Rideau <>
E

Enrico Tassi <>
I

Ioana Pasca <>
G

Georges Gonthier <>
S

Sidi Ould Biha <>
C

Cyril Cohen <>
F

Francois Garillot <>
A

Alexey Solovyev <>
R

Russell O'Connor <>
L

Laurent Théry <>
A

Assia Mahboubi <>

Maintainers

M

Mathematical Components <mathcomp-dev@sympa.inria.fr>

Sources

mathcomp-odd-order.1.6.1.tar.gz

md5=2303f60bbca5eaa24bef7af5d47694b9

Description

This library contains extra definitions and theorems about field extensions, galois theory, algebraic numbers, cyclotomic polynomials... needed for coq-mathcomp-odd-order

Published: 26 Jun 2019

Dependencies (2)

coq-mathcomp-field = "1.6.1"
ocaml

Dev Dependencies

None

Used by (1)

coq-mathcomp-odd-order < "1.6.2"

Conflicts