Debian logoDebian Screenshots >

libssreflect-ocaml

small scale reflection extension for Coq (plugin)

Description

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.


Homepage

https://math-comp.github.io/math-comp/


Statistics

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