csb6
/ b-book-theorems.sml
Last active
June 13, 2024 02:10
Simple prover based on the approach used in the B-Book by J.R. Abrial
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* | |
| Simple prover based on the approach used in the B-Book by J.R. Abrial | |
| Copyright (C) 2024 Cole Blakley | |
| This program is free software: you can redistribute it and/or modify | |
| it under the terms of the GNU General Public License as published by | |
| the Free Software Foundation, either version 3 of the License, or | |
| (at your option) any later version. | |
| This program is distributed in the hope that it will be useful, |