S

stdpp

Project information

An extended "Standard Library" for Coq. [coqdoc]

3,190 Commits
34 Branches
15 Tags

README
BSD 3-Clause "New" or "Revised" License
CHANGELOG

Created on

January 31, 2017

Loading

Advertisement

Advertisement