[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIn
From: |
Daniel Wyckoff |
Subject: |
[Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIntro2 |
Date: |
Tue, 01 Jul 2014 03:09:03 +0000 |
User-agent: |
Mozilla/5.0 (Windows NT 5.1; rv:30.0) Gecko/20100101 Firefox/30.0 |
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/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-register-public] [task #13242] Submission of BooleanAlgebrasIntro2,
Daniel Wyckoff <=