|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
Download Free Demo copy: English • French Purchase HYFRAN-Plus: Click here for GENERAL INFORMATION Click here for Software DESCRIPTION and SPECIFICATIONS ALSO AVAILABLE: HYFRAN-Plus GUIDE |
Frequently Asked Questions |
| Title: HYFRAN-PLUS software Author: Chair in Statistical Hydrology, INRS-ETE, (B. Bobée et al., 2008) Specifications: Version 2.2, (available in English and French) Cat No: HYFRAN-PLUS Price: US $400 ....... Additional copies US $200 |
STEPS TO OBTAIN HYFRAN-PLUS: (1) In order to purchase a copy of HYRAN-PLUS you must have a DEMO VERSION downloaded onto your computer. You may download and test the DEMO VERSION of HYFRAN-PLUS (however some options are not available in the DEMO VERSION) and if it is not satisfactory, simply delete all the files/folders. Click Here to download Demo Version: English • French (2) After downloading and installing the software you will be able to order the product from WRP in order to access the full version. (3) To purchase the product, fill in the order form with the product number and user name of your Demo copy of HYFRAN-PLUS. The product number appears on the screen once the demo version is launched. The user name is created by the client. (4) Once your payment has been processed, you will receive your user name and password in order to register your copy and activate the FULL VERSION. (5) Additional copies of the HYFRAN-PLUS software are available to licensed users at a discount price of $200 US each, (HOWEVER in order to process your order please complete Steps 1-3 and include the new product number, previous product number, and payment.) (6) Previously licensed users of HYFRAN may upgrade to HYFRAN-PLUS license at a price of $200 US, (the previous product number of HYFRAN must be included). Please note : WARNING! After the software has been installed on a computer, it can only be used on that computer and can not be reinstalled on the same computer nor on another computer (it is not transferable). If you have a computer failure or purchase a new computer, you would need to purchase another copy of the software. |
Isabelle-extreme Better (2027)theory Scratch imports Main begin (* Define addition via fixed point *) definition add :: "nat ⇒ nat ⇒ nat" where "add ≡ fix (λadd n m. if n = 0 then m else add (n-1) (m+1))" If you’ve ever wondered, “What is the absolute minimum logic needed to build an ITP?” – isabelle-extreme is your answer. isabelle-extreme | Feature | isabelle-extreme | Isabelle/HOL | |---------|--------------------|---------------| | Logic | Minimal equational logic + fixed point | Higher-order logic | | Types | Simple types (no type classes) | Rich types with type classes | | Recursion | Via fixed point combinator ( fix ) | Primitive recursion, well-founded recursion | | Automation | None (manual rewriting only) | simp , auto , blast , sledgehammer | | Code generation | No | Yes (to ML, Scala, Haskell) | | Library | Empty | Thousands of theorems | theory Scratch imports Main begin (* Define addition (* Prove a simple property manually – no automation! ) lemma add_zero: "add 0 m = m" unfolding add_def by (rule fix_eq) ( primitive rule only *) ) lemma add_zero: "add 0 m = m" Notice: no simp , no induct . Every proof step must explicitly invoke a primitive inference rule. Beyond the Mainland: Exploring isabelle-extreme , the Minimalist Core of Interactive Theorem Proving
|
© Copyright 2025. Water Resource Publications, LLC. All
rights reserved.
Colorado, USA -- Telephone: 720-873-0171
E-mail:
