mayfrost-guides

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE
commit fa662f339db25ffe7cedc4be929fba395cce754e
parent 29f17d776f2131f9694888fba55245fd170a11f4
Author: mayfrost <mayfrost@cock.li>
Date:   Mon, 23 Apr 2018 23:38:48 +0000

Update ALTERNATIVES.md
Diffstat:

MALTERNATIVES.md | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

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