mainBooleanAlgebrasIntro2 - Summary

 
 
Membership Info
Project Admin:
1 active member

Group identification
Id: #11312
System Name: bool2
Name: BooleanAlgebrasIntro2
Group Type: non-GNU software and documentation

Search in this Group

in
   

This project is not part of the GNU Project.

This builds on some parts of Daniel Schepler's "Topology" and "Zorn's Lemma" packages -- to prove basic properties of Boolean Algebras, and things like Subalgebras, the Regular Open Algebra, some general tactics, fields of sets, etc. Compiling this will make your computer happy! If it's in the good!

Registration Date: Tue 01 Jul 2014 03:09:01 AM UTC
License: GNU Lesser General Public License
Development Status: 3 - Alpha

 

Latest News 

Communication Tools
Mailing Lists Mailing Lists (0 public mailing-lists)

Back to the top


Powered by Savane 3.1-cleanup