Home My Page Projects ppsimpl
Summary Activity Tracker Lists SCM Files

Project Information
Latest File Releases
Package Version Date Notes Download
ppsimpl 8.10 2019-10-17 ppsimpl - Release Notes ppsimpl 8.10 - Download
Public Tools
Tracker  Tracker
  • Bugs (0 open / 0 total)
Mailing Lists (1 public mailing list)
SCM Repository (Git: 253 updates, 53 adds)
Project description

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