-
Notifications
You must be signed in to change notification settings - Fork 0
Real Numbers as CoInductive Streams of Digits
License
verimath/real
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Copyright (C) 2011 Milad Niqui (University of Nijmegen) <milad@cs.kun.nl> Yves Bertot (INRIA Sophia-Antipolis) <Yves.Bertot@sophia.inria.fr> This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
About
Real Numbers as CoInductive Streams of Digits
Topics
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published