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 rss feed
The big picture in bool2
     posted by deluger, Fri 30 Mar 2018 01:45:41 AM UTC - 0 replies

So, the big news with bool2, my humble, yet, ambitious Coq formalization of Boolean algebras, is that I will soon complement it with some computational group theory in GAP, in the directory http://cvs.savannah.nongnu.org/viewvc/bool2/bool2/bestfo/ ...


[Read more]
[Submit News]
[1 news in archive]

Communication Tools
 Tech Support Manager (open items: 0, total: 0)
  - Browse open items
  - Submit a new item
 Mailing Lists (0 public mailing lists)

Development Tools
 Bug Tracker (open items: 0, total: 0)
  - Browse open items
  - Submit a new item
 Task Manager (open items: 0, total: 0)
  - Browse open items
  - Submit a new item

Back to the top


Powered by Savane 3.3