3 Commits

Author	SHA1	Message	Date
B. Watson	1ca52074be	academic/abella: Fix README. ... Signed-off-by: B. Watson <yalhcru@gmail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>	2020-10-17 09:36:38 +07:00
B. Watson	05f8290614	academic/abella: Reflow README. ... Signed-off-by: B. Watson <yalhcru@gmail.com>	2020-02-01 09:00:28 +07:00
Jefferson Rocha	5c892d971b	academic/abella: Added (interactive theorem prover). ... Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>	2019-08-10 01:23:33 +07:00