From fa662f339db25ffe7cedc4be929fba395cce754e Mon Sep 17 00:00:00 2001 From: mayfrost Date: Mon, 23 Apr 2018 23:38:48 +0000 Subject: [PATCH] Update ALTERNATIVES.md --- ALTERNATIVES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ALTERNATIVES.md b/ALTERNATIVES.md index b5b8c50..2e72314 100644 --- a/ALTERNATIVES.md +++ b/ALTERNATIVES.md @@ -488,7 +488,7 @@ All apps are from F-Droid, may not be much but is a start. * __Semiconductor Modeling (TCAD)__: [GNU Archimedes](https://directory.fsf.org/wiki/Archimedes) (and [GNU Nano-Archimedes](https://directory.fsf.org/wiki/Nano-archimedes)) * __Software-defined radio (SDR)__: [GNU Radio](https://github.com/gnuradio) (+ [Gqrx](https://github.com/csete/gqrx)) -> [rtl-sdr](https://github.com/osmocom/rtl-sdr) * __Statistical Package__: [SageMath](http://www.sagemath.org/) -> [gretl](http://gretl.sourceforge.net/) -> [PSPP](https://directory.fsf.org/wiki/Pspp) (+ PSPP-Perl) -* __Theorem Prover__: Coq -> [Abella](https://github.com/abella-prover/abella) -> [Vampire](https://github.com/mayfrost/Vampire) +* __Theorem Prover__: Coq -> [Abella](https://github.com/abella-prover/abella) -> [Vampire](https://github.com/mayfrost/Vampire) -> [Metamath](http://metamath.org/) ## Security ### Containment