Mace4
From MaRDI portal
swMATH6905MaRDI QIDQ18972FDOQ18972
Author name not available (Why is that?)
Official website: http://www.mcs.anl.gov/research/projects/AR/mace4/
Cited In (only showing first 100 items - show all)
- Herbrand constructivization for automated intuitionistic theorem proving
- CompoSAT: specification-guided coverage for model finding
- Automatic generation of logical models with AGES
- SPASS
- SPASS+T
- Prover9
- FINDER
- SATCHMO
- SCOTT
- E-Darvin
- Kodkod
- E-SETHEO
- ProB
- GRAFFITI
- LOOPS
- Title not available (Why is that?)
- Title not available (Why is that?)
- CVC Lite
- RiG
- Smallsemi
- Title not available (Why is that?)
- ARA
- KAT-ML
- Ralf
- RALL
- CERES
- iProver-Eq
- Tipi
- iProver
- MGTP
- leanCoP
- E Theorem Prover
- Saigawa
- FAdo
- Ivy
- MaLARea
- GUItar
- MathWeb
- HR
- PDCoq
- tptp2X
- tawSolver
- Imogen
- MaGIC
- Semigroups
- Conditional Confluence
- Metamath
- PTSC
- randoCoP
- Magma
- FALCON
- CLIN
- DISCOUNT
- Waldmeister
- Alloy*
- Shred
- E-KRHyper
- IDV
- ConCon
- ModGen
- GAPT
- SRASS
- ProofTool
- InKreSAT
- Peers-mcd
- Tribe
- Scavenger
- CO3
- FORT
- Meta Dedukti
- margrave
- Regular Sets
- Stone Algebras
- FLOTTER
- UACalc
- AGES
- BDDTab
- CoDe
- KAD
- infChecker
- Relation Algebra
- Regular_Algebras
- DLPEQ
- TreeRePair
- lpeq
- Slakje
- CPSA
- WhaleProver
- XPlain
- Bordeaux
- CD2Alloy
- cddiff
- CompoSAT
- VERMEER
- Whispec
- WhyLine
- DynAlloy
- Razor
- ProverX
- ProofWatch: watchlist guidance for large theories in E
This page was built for software: Mace4
