HOL
From MaRDI portal
swMATH5492MaRDI QIDQ17631FDOQ17631
Author name not available (Why is that?)
Official website: http://hol.sourceforge.net/
Cited In (only showing first 100 items - show all)
- TRAMP
- ACE
- Idris
- AmiCo
- Lifting
- HOL2P
- Isabelle/UTP
- daVinci
- Elf
- Fiat
- CertiKOS
- KOMET
- Medmaker
- SPEC
- FMLtoHOL
- MleanCoP
- nanoCoP
- Horus
- SEPIA
- Transfer
- MaxPre
- Kit
- CertiCoq
- FreshOCaml
- Charge!
- GCminor
- mini-ML
- reFLect
- UTPCalc
- Silage
- Jordan
- kepler98
- mural
- EUODHILOS
- MMode
- sprfn
- ASENT
- HOLCF
- FRIDGE
- ReliaSoft
- PrHERBY
- SKIL
- JBMC
- Tycon
- GETFOL
- Watson
- Zapato
- Emacs
- OEuf
- CppMem
- diy7
- herd7
- HaNS
- miTLS
- embed_modal
- Abstract Completeness
- Akra Bazzi
- AVL trees
- Applicative Lifting
- Coinductive
- CAVA Automata Library
- Berlekamp Zassenhaus
- Completeness theorem
- TiML
- Dijkstra Shortest Path
- Depth First Search
- Ergodic theory
- CryptHOL
- Edmonds-Karp
- Echelon Form
- Datatype Order Generator
- FinFuns
- Flow Networks
- Gauss-Jordan
- Guardol
- Jinja Threads
- Gauss Jordan Elimination
- Lp spaces
- Jordan Normal Forms
- KBPs
- Markov Models
- Myhill-Nerode
- Meta Model Isabelle
- PairingHeap
- Monomorphic Monad
- Psyche
- Perron Frobenius
- Psi-calculi
- Refinement Monadic
- Presburger Automata
- Skew Heap
- Separation Logic
- Splay Tree
- Stern-Brocot Tree
- Superposition Calculus
- Tame Graphs
- Timed Automata
- Stone Kleene
- Stone Algebras
- Zoo Probabilistic Systems
This page was built for software: HOL
