package coq-maple-mode

  1. Overview
  2. No Docs
A Maple Mode for Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. D
    David Delahaye
  2. M
    Micaela Mayero

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.9.0.tar.gz
md5=d7e2a1cd70d207b92ed004a0c59e880d

Description

This contribution is an interface between Coq and Maple. In particular, this exports the functions simplify/factor/expand/normal giving the corresponding tactics Simplify/Factor/Expand/Normal. The manipulations carried out by these tactics are proved thanks to the tactic Field. These tactics can be also used as functions by means of the Eval ... In command.

Tags

keyword: Maple keyword: simplification keyword: field tactic category: Miscellaneous/Coq Extensions date: 2002-03

Published: 08 Dec 2019

Dependencies (2)

  1. coq >= "8.9" & < "8.10~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None