sci-mathematics/isabelle-bin
Generic proof assistant with higher-order logic
Screenshots
-
isabelle-bin-2023-* ~amd64
View 
Download 
Browse License: BSD Apache-2.0 BitstreamVera BSD-2 CPL-1.0 EPL-1.0 GPL-2 GPL-2+ GPL-3 GPL-3-with-openssl-exception LGPL-2.1+ LPPL-1.3c MIT public-domain Overlay: src_prepare-overlay
ChangeLog
commit 8b858f85e44638d962676e1ecf3174875e81d377
Author: Alfred Wingate <parona@protonmail.com>
Date: Thu Mar 21 09:55:29 2024 +0200
sci-mathematics/isabelle-bin: drop 2021
Signed-off-by: Alfred Wingate <parona@protonmail.com>
commit a221a296d391df9642e0d14069c3abf8ec3c4ea9
Author: Alfred Wingate <parona@protonmail.com>
Date: Tue Feb 27 21:24:53 2024 +0200
sci-mathematics/isabelle-bin: add 2023
Signed-off-by: Alfred Wingate <parona@protonmail.com>
commit 5b2e28eecc53e97043546dd823dd4e36a5351a84
Author: Maciej Barć <xgqt@riseup.net>
Date: Mon Nov 1 23:52:19 2021 +0100
sci-mathematics/isabelle-bin: add verison 2021
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
Author: Alfred Wingate <parona@protonmail.com>
Date: Thu Mar 21 09:55:29 2024 +0200
sci-mathematics/isabelle-bin: drop 2021
Signed-off-by: Alfred Wingate <parona@protonmail.com>
commit a221a296d391df9642e0d14069c3abf8ec3c4ea9
Author: Alfred Wingate <parona@protonmail.com>
Date: Tue Feb 27 21:24:53 2024 +0200
sci-mathematics/isabelle-bin: add 2023
Signed-off-by: Alfred Wingate <parona@protonmail.com>
commit 5b2e28eecc53e97043546dd823dd4e36a5351a84
Author: Maciej Barć <xgqt@riseup.net>
Date: Mon Nov 1 23:52:19 2021 +0100
sci-mathematics/isabelle-bin: add verison 2021
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>