You are viewing the staging branch of the website @ 884bba1, not the live version.

package coq-qarith

You can search for identifiers within the package.

in-package search v0.2.0

A Library for Rational Numbers (QArith)

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

P

Pierre Letouzey

Maintainers

H

Hugo.Herbelin@inria.fr

Sources

md5=ee44f341443451374cd1610fd6133bc9

Description

This contribution is a proposition of a library formalizing rational number in Coq.

Tags

keyword: Q keyword: arithmetic keyword: rational numbers keyword: setoid keyword: ring category: Mathematics/Arithmetic and Number Theory/Rational numbers category: Miscellaneous/Extracted Programs/Arithmetic

Published: 06 Feb 2019

Dependencies (2)

coq >= "8.8" & < "8.9~"
ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies
Used by
Conflicts