Debian logoDebian Screenshots >


small scale reflection extension for Coq (plugin)


This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.



34 other people were interested in this package here. The newest known version of this software is 1.6-1 (Information last updated about 21 hours ago.)