package coq-maple-mode
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
A Maple Mode for Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v8.6.0.tar.gz
md5=f15ade600e8d850697acf91b3537886c
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-03Published: 20 Nov 2018
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page