Twelf
From MaRDI portal
swMATH6888MaRDI QIDQ18957FDOQ18957
Author name not available (Why is that?)
Official website: https://twelf.org/
Cited In (only showing first 100 items - show all)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Encoding functional relations in Scunak
- A synthesis of the procedural and declarative styles of interactive theorem proving
- The Abella Interactive Theorem Prover (System Description)
- Ruler: Programming Type Rules
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
- HYBRID
- ILTP
- ML
- TPS
- Beluga
- HiLog
- MetaPRL
- ETPS
- Prolog
- Nuprl
- Hets
- Zenon
- Automath
- MMT
- OMDoc
- QMT
- TNTBase
- Plastic
- MontiCore
- STEXIDE
- ALF
- Abella
- Bedwyr
- Lem
- Agda
- gaia
- Cayenne
- DyC
- Epigram
- LEGO
- K tool
- Minlog
- aleanTAP
- Tac
- leanTAP
- PLT Redex
- Gmeta
- LNgen
- PoplMark
- Imogen
- Nominal Isabelle
- FoCaLiZe
- Aglet
- LeoPARD
- dedukti
- MicroRogue
- Vellvm
- TCB
- CoALP
- FreshML
- miz3
- MetaEdit+
- Leo
- LATIN
- SugarJ
- KANREN
- miniKanren
- Lincx
- QWire
- Stardust
- LLFp
- CAL
- Delphin
- Elf
- Forsythe
- SPEC
- Hugs
- scunac
- Teyjus
- Autosubst
- Celf
- Eff
- mini-ML
- TIL
- CRSX
- Neverlang
- Binder
- ml5
- sTeX
- ELPI
- Logic2CNF
- Psi-calculi
- Light-weight Containers
- Focalide
- Centaur
- MiniML
- PRIZ
- ProofPeer
- MathML
- Theorem Proving in Higher Order Logics
- Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
- TPS: A hybrid automatic-interactive system for developing proofs
- Ott, effective tool support for the working semanticist
- \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners
This page was built for software: Twelf
