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. M
    matej.kosik@inria.fr

Sources

v8.5.0.tar.gz
md5=8019c1b20766420fcdd0ff034d9ad1c4

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: 07 Jun 2016

Dependencies (2)

  1. coq >= "8.5" & < "8.6~" & != "8.5.0~camlp4" & != "8.5.2~camlp4"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None