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.7.0.tar.gz
md5=46f68b2cc86267a3dfbe001bb7fd9b33

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: 11 Jan 2019

Dependencies (2)

  1. coq >= "8.7" & < "8.8~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None