Launchpad does not know where Functional Algebra hosts its code.

Bazaar branches

Name Status Last Modified Last Commit
lp:~llee454/coq-functional-algebra/master 2 Mature 2018-08-18 01:52:28 UTC
57. Added a proof about the distribution ...

Author: Larry D. Lee jr.
Revision Date: 2018-08-18 01:52:28 UTC

Added a proof about the distribution of negation to the Group module.

11 of 1 result