1 search result for "author:"Larry D. Lee Jr.""

Showing 1 - 1
  1. coq-functional-algebra

    No documentation

    This package provides a Coq formalization of abstract algebra using
    keyword:algebra keyword:abstract algebra category:Miscellaneous/Coq Extensions date:2018-08-11 logpath:functional-algebra
    Larry D. Lee Jr.
    1.0.2
    LGPL-3.0
    Used by 0 other packages
    24 Aug 2018