Home My Page Projects TLC [DEPRECATED]
Summary Activity Lists SCM

Project description

TLC: A Classical Coq Library with Typeclasses [DEPRECATED, now on gitlab]

Project Information

This project has not yet categorized itself in the Trove Software Map Registered: 2010-03-05 07:12
Public Tools
Mailing Lists (1 public mailing list)
SCM Repository (Git: 2,485 updates, 552 adds)