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.8.0.tar.gz
md5=e4fdc16ae04b6e33856f1fd7cc911a41

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: 06 Feb 2019

Dependencies (2)

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

Dev Dependencies

None

Used by

None

Conflicts

None