InriaForge: ppsimpl: Project Home

	Log In New Account
Advanced search

Project Members

Project Admins

Vincent Laporte

Frédéric BESSON

View the 2 Member(s)

Request to join

Project Information

Development Status : 3 - Alpha
Natural Language : English
Research center : Rennes

Registered: 2013-11-12 22:32

Latest File Releases

Package	Version	Date	Notes	Download
ppsimpl	8.8.-	2018-07-09

View All Project Files

Public Tools

Project Home Page

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

Powered By FusionForge