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


Latest News rss feed

Back to the top

Powered by Savane 3.1-cleanup1