TODO.md: add info if a package is a dependency of another

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

1 files changed, 96 insertions, 96 deletions

diff --git a/TODO.md b/TODO.md
index d85eb4b605..035051e87e 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,104 +2,104 @@
 
 If you find an interesting piece of software here, consider to package it, also you are free to add any package you want to see in GURU
 
-Name | Buildsystem | Category | User | RFH
+Name | Buildsystem | Category | User | RFH | Dependency
 ------------ | ------------- | ------------- | ------------- | -------------
-[spacelib](https://github.com/Alessandro-Barbieri/SpaceLib) | none | science | Alessandro-Barbieri | ✖
-[cpp-fuzzy-logic](https://sourceforge.net/projects/cpp-fuzzy-logic) | none | devel | Alessandro-Barbieri | ✖
-[free fuzzy logic library](http://ffll.sourceforge.net) | none | devel | Alessandro-Barbieri | ✖
-[solarized](https://github.com/altercation/solarized) | none | shell | Alessandro-Barbieri | ✔
-[fizsh](https://github.com/zsh-users/fizsh) | none | shell | Alessandro-Barbieri | ✖
-[zsh-directory-history](https://github.com/tymm/zsh-directory-history) | none | shell | Alessandro-Barbieri | ✖
-[zsh-you-should-use](https://github.com/MichaelAquilina/zsh-you-should-use) | none | shell | Alessandro-Barbieri | ✖
-[forgit](https://github.com/wfxr/forgit) | none | shell | Alessandro-Barbieri | ✖
-[openocl](https://openocl.org/) | none | octave | Alessandro-Barbieri | ✖
-[octave-scicosim](https://wiki.octave.org/Sci_cosim) | none | octave | Alessandro-Barbieri | ✖
-[nerd-fonts](https://nerdfonts.com) | none | fonts | Alessandro-Barbieri | ✔
-[silk-guardian](https://github.com/NateBrune/silk-guardian) | make | util | Alessandro-Barbieri | ✖
-[retroarch](https://www.retroarch.com/) | make | game | NicolaSmaniotto |
-[lucida](https://github.com/claritylab/lucida) | make | | Alessandro-Barbieri | ✔
-[embedded fuzzy logic library](https://github.com/zerokol/eFLL) | make | devel | Alessandro-Barbieri | ✖
-[Intel-sgx](https://01.org/intel-softwareguard-extensions) | make | devel | Alessandro-Barbieri | ✔
-[compcert](https://compcert.org) | make | compiler | Alessandro-Barbieri | ✔
-[predictive](https://www.dr-qubit.org/predictive.html) | make | emacs | Alessandro-Barbieri | ✔
+[spacelib](https://github.com/Alessandro-Barbieri/SpaceLib) | none | science | Alessandro-Barbieri | ✖ | ✖
+[cpp-fuzzy-logic](https://sourceforge.net/projects/cpp-fuzzy-logic) | none | devel | Alessandro-Barbieri | ✖ | ✖
+[free fuzzy logic library](http://ffll.sourceforge.net) | none | devel | Alessandro-Barbieri | ✖ | ✖
+[solarized](https://github.com/altercation/solarized) | none | shell | Alessandro-Barbieri | ✔ | ✖
+[fizsh](https://github.com/zsh-users/fizsh) | none | shell | Alessandro-Barbieri | ✖ | ✖
+[zsh-directory-history](https://github.com/tymm/zsh-directory-history) | none | shell | Alessandro-Barbieri | ✖ | ✖
+[zsh-you-should-use](https://github.com/MichaelAquilina/zsh-you-should-use) | none | shell | Alessandro-Barbieri | ✖ | ✖
+[forgit](https://github.com/wfxr/forgit) | none | shell | Alessandro-Barbieri | ✖ | ✖
+[openocl](https://openocl.org/) | none | octave | Alessandro-Barbieri | ✖ | ✖
+[octave-scicosim](https://wiki.octave.org/Sci_cosim) | none | octave | Alessandro-Barbieri | ✖ | ✖
+[nerd-fonts](https://nerdfonts.com) | none | fonts | Alessandro-Barbieri | ✔ | ✖
+[silk-guardian](https://github.com/NateBrune/silk-guardian) | make | util | Alessandro-Barbieri | ✖ | ✖
+[retroarch](https://www.retroarch.com/) | make | game | NicolaSmaniotto | | ✖
+[lucida](https://github.com/claritylab/lucida) | make | | Alessandro-Barbieri | ✔ | ✖
+[embedded fuzzy logic library](https://github.com/zerokol/eFLL) | make | devel | Alessandro-Barbieri | ✖ | ✖
+[Intel-sgx](https://01.org/intel-softwareguard-extensions) | make | devel | Alessandro-Barbieri | ✔ | ✖
+[compcert](https://compcert.org) | make | compiler | Alessandro-Barbieri | ✔ | ✖
+[predictive](https://www.dr-qubit.org/predictive.html) | make | emacs | Alessandro-Barbieri | ✔ | ✖
 [tau](http://www.cs.uoregon.edu/research/tau/home.php) | make | tools | Alessandro-Barbieri | ✖
-[plasma](https://github.com/NLAFET/plasma) | make | science | Alessandro-Barbieri | ✔
-[imb](https://software.intel.com/content/www/us/en/develop/articles/intel-mpi-benchmarks.html) | make | cluster | Alessandro-Barbieri | ✖
-[gnat-llvm](https://github.com/AdaCore/gnat-llvm) | make | compiler | Alessandro-Barbieri | ✔
-[csparse](https://people.sc.fsu.edu/~jburkardt/c_src/csparse/csparse.html) | make | science | Alessandro-Barbieri | ✖
-[dimemas](https://github.com/bsc-performance-tools/dimemas) | autotools | cluster | Alessandro-Barbieri | ✖
-[argobots](https://www.argobots.org/) | autotools | devel | Alessandro-Barbieri | ✖
-[mochi-ssg](https://github.com/mochi-hpc/mochi-ssg) | autotools | cluster | Alessandro-Barbieri | ✖
-[mochi-margo](https://github.com/mochi-hpc/mochi-margo) | autotools | cluster | Alessandro-Barbieri | ✖
-[mochi-abt-io](https://github.com/mochi-hpc/mochi-abt-io) | autotools | cluster | Alessandro-Barbieri | ✖
-[machinekit](https://github.com/machinekit/machinekit) | autotools | science | Alessandro-Barbieri | ✔
-[libreoffice-online](https://github.com/LibreOffice/online) | autotools | office | Alessandro-Barbieri | ✔
-[latte-integrale](https://www.math.ucdavis.edu/~latte/) | autotools | math | Alessandro-Barbieri | ✔
-[bonmin](https://projects.coin-or.org/Bonmin) | autotools | math | Alessandro-Barbieri | ✖
-[graph-tool](https://graph-tool.skewed.de/) | autotools | visualization | Alessandro-Barbieri | ✖
-[tides](https://sourceforge.net/projects/tidesodes/) | autotools | math | Alessandro-Barbieri | ✖
-[Cakeml](https://cakeml.org/) | autotools | ML | Alessandro-Barbieri | ✔
-[temanejo](https://www.hlrs.de/solutions-services/service-portfolio/programming/hpc-development-tools/temanejo) | autotools | cluster | Alessandro-Barbieri | ✖
-[geopm](https://geopm.github.io/) | autotools | power | Alessandro-Barbieri | ✖
-[warewulf](https://warewulf.lbl.gov/) | autotools | cluster | Alessandro-Barbieri | ✖
-[omb](http://mvapich.cse.ohio-state.edu/download/mvapich/osu-micro-benchmarks-5.8.tgz) | autotools | cluster | Alessandro-Barbieri | ✖
-[scalasca](https://scalasca.org/) | autotools | cluster | Alessandro-Barbieri | ✖
-[scorep](https://www.vi-hps.org/projects/score-p/) | autotools | cluster | Alessandro-Barbieri | ✖
-[jmodelica](https://github.com/jnorthrup/jmodelica) | autotools | science | Alessandro-Barbieri | ✔
-[flux-core](https://github.com/flux-framework/flux-core) | autotools | cluster | Alessandro-Barbieri | ✔
-[GPI-2](https://github.com/cc-hpc-itwm/GPI-2) | autotools | cluster | Alessandro-Barbieri | ✖
-[blasfeo](https://github.com/giaf/blasfeo) | cmake | science | Alessandro-Barbieri | ✔
-[libfixmath](https://github.com/PetteriAimonen/libfixmath) | cmake | devel | Alessandro-Barbieri | ✖
-[hpmpc](https://github.com/giaf/hpmpc) | cmake | science | Alessandro-Barbieri | ✖
-[mercury](https://github.com/mercury-hpc/mercury) | cmake | cluster | Alessandro-Barbieri | ✖
-[chrono](https://projectchrono.org/) | cmake | science | Alessandro-Barbieri | ✖
-[cocos2d-x](https://github.com/cocos2d/cocos2d-x) | cmake | game | Alessandro-Barbieri | ✔
-[opensiv3d](https://github.com/Siv3D/OpenSiv3D) | cmake | game | Alessandro-Barbieri | ✔
-[grive2](https://github.com/vitalif/grive2) | cmake | filesystem | Alessandro-Barbieri | ✖
-[chapel](https://github.com/chapel-lang/chapel) | make | science | Alessandro-Barbieri | ✔
-[osmium](https://wiki.openstreetmap.org/wiki/Osmium) | cmake | geography | Alessandro-Barbieri | ✖
-[fuzzylite](https://github.com/fuzzylite/fuzzylite) | cmake | devel | Alessandro-Barbieri | ✖
-[valhalla](https://github.com/valhalla/valhalla) | cmake | geography | Alessandro-Barbieri | ✖
-[openenclave](https://openenclave.io/sdk/) | cmake | util | Alessandro-Barbieri | ✖
+[plasma](https://github.com/NLAFET/plasma) | make | science | Alessandro-Barbieri | ✔ | ✔
+[imb](https://software.intel.com/content/www/us/en/develop/articles/intel-mpi-benchmarks.html) | make | cluster | Alessandro-Barbieri | ✖ | ✔
+[gnat-llvm](https://github.com/AdaCore/gnat-llvm) | make | compiler | Alessandro-Barbieri | ✔ | ✖
+[csparse](https://people.sc.fsu.edu/~jburkardt/c_src/csparse/csparse.html) | make | science | Alessandro-Barbieri | ✖ | ✔
+[dimemas](https://github.com/bsc-performance-tools/dimemas) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[argobots](https://www.argobots.org/) | autotools | devel | Alessandro-Barbieri | ✖ | ✔
+[mochi-ssg](https://github.com/mochi-hpc/mochi-ssg) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[mochi-margo](https://github.com/mochi-hpc/mochi-margo) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[mochi-abt-io](https://github.com/mochi-hpc/mochi-abt-io) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[machinekit](https://github.com/machinekit/machinekit) | autotools | science | Alessandro-Barbieri | ✔ | ✖ | ✔
+[libreoffice-online](https://github.com/LibreOffice/online) | autotools | office | Alessandro-Barbieri | ✔ | ✖
+[latte-integrale](https://www.math.ucdavis.edu/~latte/) | autotools | math | Alessandro-Barbieri | ✔ | ✖
+[bonmin](https://projects.coin-or.org/Bonmin) | autotools | math | Alessandro-Barbieri | ✖ | ✔
+[graph-tool](https://graph-tool.skewed.de/) | autotools | visualization | Alessandro-Barbieri | ✖ | ✖
+[tides](https://sourceforge.net/projects/tidesodes/) | autotools | math | Alessandro-Barbieri | ✖ | ✔
+[Cakeml](https://cakeml.org/) | autotools | ML | Alessandro-Barbieri | ✔ | ✔
+[temanejo](https://www.hlrs.de/solutions-services/service-portfolio/programming/hpc-development-tools/temanejo) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[geopm](https://geopm.github.io/) | autotools | power | Alessandro-Barbieri | ✖ | ✔
+[warewulf](https://warewulf.lbl.gov/) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[omb](http://mvapich.cse.ohio-state.edu/download/mvapich/osu-micro-benchmarks-5.8.tgz) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[scalasca](https://scalasca.org/) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[scorep](https://www.vi-hps.org/projects/score-p/) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[jmodelica](https://github.com/jnorthrup/jmodelica) | autotools | science | Alessandro-Barbieri | ✔ | ✔
+[flux-core](https://github.com/flux-framework/flux-core) | autotools | cluster | Alessandro-Barbieri | ✔ | ✔
+[GPI-2](https://github.com/cc-hpc-itwm/GPI-2) | autotools | cluster | Alessandro-Barbieri | ✖ | ✔
+[blasfeo](https://github.com/giaf/blasfeo) | cmake | science | Alessandro-Barbieri | ✔ | ✔
+[libfixmath](https://github.com/PetteriAimonen/libfixmath) | cmake | devel | Alessandro-Barbieri | ✖ | ✖
+[hpmpc](https://github.com/giaf/hpmpc) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[mercury](https://github.com/mercury-hpc/mercury) | cmake | cluster | Alessandro-Barbieri | ✖ | ✔
+[chrono](https://projectchrono.org/) | cmake | science | Alessandro-Barbieri | ✖ | ✖
+[cocos2d-x](https://github.com/cocos2d/cocos2d-x) | cmake | game | Alessandro-Barbieri | ✔ | ✖
+[opensiv3d](https://github.com/Siv3D/OpenSiv3D) | cmake | game | Alessandro-Barbieri | ✔ | ✖
+[grive2](https://github.com/vitalif/grive2) | cmake | filesystem | Alessandro-Barbieri | ✖ | ✖
+[chapel](https://github.com/chapel-lang/chapel) | make | science | Alessandro-Barbieri | ✔ | ✔
+[osmium](https://wiki.openstreetmap.org/wiki/Osmium) | cmake | geography | Alessandro-Barbieri | ✖ | ✔
+[fuzzylite](https://github.com/fuzzylite/fuzzylite) | cmake | devel | Alessandro-Barbieri | ✖ | ✖
+[valhalla](https://github.com/valhalla/valhalla) | cmake | geography | Alessandro-Barbieri | ✖ | ✖
+[openenclave](https://openenclave.io/sdk/) | cmake | util | Alessandro-Barbieri | ✖ | ✖
 [alpaka](https://github.com/alpaka-group/alpaka) | cmake | science | Alessandro-Barbieri | ✖
-[mochi-thallium](https://github.com/mochi-hpc/mochi-thallium) | cmake | cluster | Alessandro-Barbieri | ✖
+[mochi-thallium](https://github.com/mochi-hpc/mochi-thallium) | cmake | cluster | Alessandro-Barbieri | ✖ | ✔
 [flexiblas](https://www.mpi-magdeburg.mpg.de/projects/flexiblas) | cmake | science | Alessandro-Barbieri | ✔
-[blitz](https://github.com/blitzpp/blitz) | cmake | c++ | Alessandro-Barbieri | ✖
-[strumpack](https://portal.nersc.gov/project/sparse/strumpack/) | cmake | science | Alessandro-Barbieri | ✖
-[butterflypack](https://github.com/liuyangzhuan/ButterflyPACK) | cmake | math | Alessandro-Barbieri | ✖
-[adios](https://csmd.ornl.gov/adios) | cmake | cluster | Alessandro-Barbieri | ✖
-[superlu_dist](https://github.com/xiaoyeli/superlu_dist) | cmake | science | Alessandro-Barbieri | ✖
-[mfem](https://mfem.org/) | cmake | science | Alessandro-Barbieri | ✖
-[fmi-library](https://github.com/modelon-community/fmi-library) | cmake | science | Alessandro-Barbieri | ✖
-[aerodyn](https://github.com/OpenFAST/openfast/tree/main/modules/aerodyn) | cmake | science | Alessandro-Barbieri | ✖
-[llvm-ompss2](https://github.com/bsc-pm/llvm) | cmake | cluster | Alessandro-Barbieri | ✔
-[pagmo](https://esa.github.io/pagmo2/) | cmake | science | Alessandro-Barbieri | ✖
-[osqp](https://github.com/osqp/osqp) | cmake | science | Alessandro-Barbieri | ✖
-[superscs](https://github.com/kul-optec/superscs) | cmake | science | Alessandro-Barbieri | ✖
-[enarx](https://enarx.dev/) | cargo | util | Alessandro-Barbieri | ✖
-[ruplacer](https://github.com/dmerejkowsky/ruplacer) | cargo | sys | Alessandro-Barbieri | ✖
-[gping](https://github.com/orf/gping) | cargo | net | Alessandro-Barbieri | ✖
-[open-match](https://github.com/googleforgames/open-match) | go | devel | Alessandro-Barbieri | ✔
-[gridstudio](https://github.com/ricklamers/gridstudio) | go | visualization | Alessandro-Barbieri | ✔
-[osmosis](https://wiki.openstreetmap.org/wiki/Osmosis) | gradle | geography | Alessandro-Barbieri | ✔
-[Opensearch](https://github.com/opensearch-project/OpenSearch) | gradle |  | Alessandro-Barbieri | ✔
-[cocalc](https://github.com/sagemathinc/cocalc) | npm | math | Alessandro-Barbieri | ✔
-[node-red](https://nodered.org/) | npm | programming | Alessandro-Barbieri | ✔ 
-[tangram](https://github.com/tangrams/tangram) | npm | geoscience | Alessandro-Barbieri | ✔ 
-[ijavascript](https://github.com/n-riesco/ijavascript) | npm | jupyter | Alessandro-Barbieri | ✔ 
-[pelias](https://github.com/pelias/pelias) | npm | geoscience | Alessandro-Barbieri | ✔ 
-[carto](https://github.com/mapbox/carto) | npm | geoscience | Alessandro-Barbieri | ✔ 
-[bee-node-dashboard](https://github.com/iotaledger/node-dashboard) | npm | cryptocurrencies | Alessandro-Barbieri | ✔ 
-[Gitfs](https://github.com/presslabs/gitfs) | setuptools | filesystem | Alessandro-Barbieri | ✔
-[usbkill](https://github.com/hephaest0s/usbkill) | setuptools | util | Alessandro-Barbieri | ✖
-[blockify](https://github.com/serialoverflow/blockify) | setuptools | audio | Alessandro-Barbieri | ✖
-[foobnix](https://github.com/foobnix/foobnix) | setuptools | audio | |
-[TauonMusicBox](https://github.com/Taiko2k/TauonMusicBox) | setuptools | audio | |
+[blitz](https://github.com/blitzpp/blitz) | cmake | c++ | Alessandro-Barbieri | ✖ | ✔
+[strumpack](https://portal.nersc.gov/project/sparse/strumpack/) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[butterflypack](https://github.com/liuyangzhuan/ButterflyPACK) | cmake | math | Alessandro-Barbieri | ✖ | ✔
+[adios](https://csmd.ornl.gov/adios) | cmake | cluster | Alessandro-Barbieri | ✖ | ✔
+[superlu_dist](https://github.com/xiaoyeli/superlu_dist) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[mfem](https://mfem.org/) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[fmi-library](https://github.com/modelon-community/fmi-library) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[aerodyn](https://github.com/OpenFAST/openfast/tree/main/modules/aerodyn) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[llvm-ompss2](https://github.com/bsc-pm/llvm) | cmake | cluster | Alessandro-Barbieri | ✔ | ✔
+[pagmo](https://esa.github.io/pagmo2/) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[osqp](https://github.com/osqp/osqp) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[superscs](https://github.com/kul-optec/superscs) | cmake | science | Alessandro-Barbieri | ✖ | ✔
+[enarx](https://enarx.dev/) | cargo | util | Alessandro-Barbieri | ✖ | ✖
+[ruplacer](https://github.com/dmerejkowsky/ruplacer) | cargo | sys | Alessandro-Barbieri | ✖ | ✖
+[gping](https://github.com/orf/gping) | cargo | net | Alessandro-Barbieri | ✖ | ✖
+[open-match](https://github.com/googleforgames/open-match) | go | devel | Alessandro-Barbieri | ✔ | ✖
+[gridstudio](https://github.com/ricklamers/gridstudio) | go | visualization | Alessandro-Barbieri | ✔ | ✖
+[osmosis](https://wiki.openstreetmap.org/wiki/Osmosis) | gradle | geography | Alessandro-Barbieri | ✔ | ✖
+[Opensearch](https://github.com/opensearch-project/OpenSearch) | gradle |  | Alessandro-Barbieri | ✔ | ✖
+[cocalc](https://github.com/sagemathinc/cocalc) | npm | math | Alessandro-Barbieri | ✔ | ✖
+[node-red](https://nodered.org/) | npm | programming | Alessandro-Barbieri | ✔ | ✖
+[tangram](https://github.com/tangrams/tangram) | npm | geoscience | Alessandro-Barbieri | ✔ | ✖
+[ijavascript](https://github.com/n-riesco/ijavascript) | npm | jupyter | Alessandro-Barbieri | ✔ | ✖
+[pelias](https://github.com/pelias/pelias) | npm | geoscience | Alessandro-Barbieri | ✔ | ✖
+[carto](https://github.com/mapbox/carto) | npm | geoscience | Alessandro-Barbieri | ✔ | ✖
+[bee-node-dashboard](https://github.com/iotaledger/node-dashboard) | npm | cryptocurrencies | Alessandro-Barbieri | ✔ | ✔
+[Gitfs](https://github.com/presslabs/gitfs) | setuptools | filesystem | Alessandro-Barbieri | ✔ | ✖
+[usbkill](https://github.com/hephaest0s/usbkill) | setuptools | util | Alessandro-Barbieri | ✖ | ✖
+[blockify](https://github.com/serialoverflow/blockify) | setuptools | audio | Alessandro-Barbieri | ✖ | ✖
+[foobnix](https://github.com/foobnix/foobnix) | setuptools | audio | | | ✖
+[TauonMusicBox](https://github.com/Taiko2k/TauonMusicBox) | setuptools | audio | | | ✖
 [mmtracking](https://github.com/open-mmlab/mmtracking) | setuptools | science | Alessandro-Barbieri | ✖
-[ueberzug](https://github.com/seebye/ueberzug) | setuptools | cli | N-R-K |
-[greenclip](https://github.com/erebe/greenclip) | cabal | desktop | N-R-K |
-[kaitai](https://github.com/kaitai-io/kaitai_struct) | sbt | util | Alessandro-Barbieri | ✔
-[casadi](https://web.casadi.org/) | cmake swig | science | Alessandro-Barbieri | ✖
-[ipyleaflet](https://github.com/jupyter-widgets/ipyleaflet) | setuptools yarn | jupyter | Alessandro-Barbieri | ✔
-[gitlab](https://gitlab.com/gitlab-org/gitlab-foss) | yarn gem | vcs | Alessandro-Barbieri | ✔ 
-[HOL4](http://hol-theorem-prover.org/) | ? | math | Alessandro-Barbieri | ✔
+[ueberzug](https://github.com/seebye/ueberzug) | setuptools | cli | N-R-K | | ✖
+[greenclip](https://github.com/erebe/greenclip) | cabal | desktop | N-R-K | | ✖
+[kaitai](https://github.com/kaitai-io/kaitai_struct) | sbt | util | Alessandro-Barbieri | ✔ | ✖
+[casadi](https://web.casadi.org/) | cmake swig | science | Alessandro-Barbieri | ✖ | ✔
+[ipyleaflet](https://github.com/jupyter-widgets/ipyleaflet) | setuptools yarn | jupyter | Alessandro-Barbieri | ✔ | ✖
+[gitlab](https://gitlab.com/gitlab-org/gitlab-foss) | yarn gem | vcs | Alessandro-Barbieri | ✔ | ✖
+[HOL4](http://hol-theorem-prover.org/) | ? | math | Alessandro-Barbieri | ✔ | ✖