From 9c6935627f8e1dddcd95fa7a8b1edd22dabd3d10 Mon Sep 17 00:00:00 2001 From: mayfrost Date: Sun, 1 Apr 2018 04:28:06 +0000 Subject: [PATCH] Update ALTERNATIVES.md --- ALTERNATIVES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/ALTERNATIVES.md b/ALTERNATIVES.md index 7fba190..f29a3ba 100644 --- a/ALTERNATIVES.md +++ b/ALTERNATIVES.md @@ -488,6 +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) ## Security ### Containment