sci-mathematics/acl2
Industrial strength theorem prover, logic and programming language
Screenshots
View
Download
BrowseChangeLog
commit 9df0eaec9e5ff29ea57b00804e883cbacfb168d7
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Dec 13 02:34:33 2021 +0100
sci-mathematics/acl2: new package; add version 8.4
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Dec 13 02:34:33 2021 +0100
sci-mathematics/acl2: new package; add version 8.4
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>