diff options
| author | Lockywolf <for_sbo.Isabelle_2023-07-17@lockywolf.net> | 2023-07-18 08:47:19 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2023-07-18 08:47:19 +0700 |
| commit | 9c5891220650cba882d6d7eee1216b7dc23a2415 (patch) | |
| tree | 6d537b41d4f5e8e38ba396412cb12ac97fea49a9 /python | |
| parent | f2d1ae854530065714044d3348db411c087d3ae8 (diff) | |
academic/Isabelle: Added (proof assistant).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'python')
0 files changed, 0 insertions, 0 deletions