[Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIntro2

[Daniel Wyckoff]

URL:
  <http://savannah.gnu.org/task/?13242>

                 Summary: Submission of BooleanAlgebrasIntro2
                 Project: Savannah Administration
            Submitted by: deluger
            Submitted on: Tue 01 Jul 2014 03:09:02 AM GMT
         Should Start On: Tue 01 Jul 2014 12:00:00 AM GMT
   Should be Finished on: Fri 11 Jul 2014 12:00:00 AM GMT
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.


= Registration Administration =

While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=11312> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=11312>


= Registration Details =

* Name: *BooleanAlgebrasIntro2*
* System Name:  *bool2*
* Type: non-GNU software and documentation
* License: GNU Lesser General Public License

----

==== Description: ====
My project is a creative translation of some initial chapters of
Givant/Halmos' "Introduction to Boolean Algebras," in the Coq Proof Assistant
language, compiled with version 8.4pl2.
Its purpose is to give interesting object files, help other Coq users, and
it's special because it has interesting circumstances.  Daniel Schepler's
"Topology" and "Zorn's Lemma" were used extensively, and I am grateful to him.


==== Other Software Required: ====
Coq Proof Assistant -- verison 8.4pl2 -- LGPL
http://coq.inria.fr/


==== Tarball URL: ====
http://savannah.gnu.org/submissions_uploads/BooleanAlgebrasIntro2.tar.gz






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?13242>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/