mayfrost-guides

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE
commit 9c6935627f8e1dddcd95fa7a8b1edd22dabd3d10
parent 848c0ae2baacf888d451cf1911aacf1da2a6c3f7
Author: mayfrost <mayfrost@cock.li>
Date:   Sun,  1 Apr 2018 04:28:06 +0000

Update ALTERNATIVES.md
Diffstat:

MALTERNATIVES.md | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git 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