coq-maple-mode

A Maple Mode for Coq. 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.

opam install coq-maple-mode.8.5.0
homepage
https://github.com/coq-contribs/maple-mode
license
Proprietary
bugs tracker
https://github.com/coq-contribs/maple-mode/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/maple-mode/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-maple-mode/coq-maple-mode.8.5.0