updates

Leancop.de

Visit leancop.de

We collected one metadata history record for Leancop.de. LeanCoP has a poor description which rather negatively influences the efficiency of search engines index and hence worsens positions of the domain.

Leancop.de metadata updates

Title Description Keywords

December 28, 2016

leanCoP: Lean Connection-Based Theorem Proving