gpo.zugaina.org

Search Portage & Overlays:

sci-mathematics/isabelle-bin

Generic proof assistant with higher-order logic

Screenshots

  • isabelle-bin-2024
    -* ~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   
  • 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   

ChangeLog

commit c456da525406cd9ee55e20e58f38cc472c784e20
Author: Alfred Wingate <parona@protonmail.com>
Date: Sat Jun 1 16:29:08 2024 +0300

sci-mathematics/isabelle-bin: add 2024

Signed-off-by: Alfred Wingate <parona@protonmail.com>

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>