diff options
| author | Jefferson Rocha <root@slackjeff.com.br> | 2019-08-10 01:23:33 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-08-10 01:23:33 +0700 |
| commit | 5c892d971b7ddf69670fc13660611448edc44430 (patch) | |
| tree | 0db299961bb46c802b223f5d8eff45ea013c368b /academic/cvc4/slack-desc | |
| parent | 36687d4fe696ab12b6c1c509cbb46bb94dd12dcd (diff) | |
| download | slackbuilds-5c892d971b7ddf69670fc13660611448edc44430.tar.gz | |
academic/abella: Added (interactive theorem prover).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4/slack-desc')
0 files changed, 0 insertions, 0 deletions