mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-12-27 05:43:50 +03:00
b31e6aa794
Added Logisim 2.7.1 |
||
---|---|---|
.. | ||
coq | ||
cvc3 | ||
eprover | ||
hol | ||
hol_light | ||
iprover | ||
isabelle | ||
lci | ||
leo2 | ||
logisim | ||
matita | ||
minisat | ||
opensmt | ||
picosat | ||
prover9 | ||
satallax | ||
spass | ||
ssreflect | ||
tptp |