Home My Page Projects ppsimpl
Summary Activity Tracker Lists SCM Files

Project Information
Latest File Releases
Package Version Date Notes Download
ppsimpl 8.8.- 2018-07-09 ppsimpl - Release Notes ppsimpl 8.8.- - Download
Public Tools
Tracker  Tracker
  • Bugs (0 open / 0 total)
Mailing Lists (1 public mailing list)
SCM Repository (Git: 249 updates, 52 adds)
Project description

Coq reflexive tactics for
- preprocessing and simplifying goals
- propositional logic
- arithmetic