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


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 Jul 1 03:09:01 2014
License: GNU Lesser General Public License
Development Status: 3 - Alpha


Latest News rss feed

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

Back to the top

Powered by Savane 3.1-cleanup1