Cited in
(only showing first 100 items - show all)- Eisbach: a proof method language for Isabelle
- Mechanizing a process algebra for network protocols
- Effect polymorphism in higher-order logic (proof pearl)
- A formalisation of finite automata using hereditarily finite sets
- Isabelle
- Isabelle/Isar
- Isabelle/jEdit
- CeTA
- HOL-Omega
- CompCertTSO
- STEXIDE
- EasyCrypt
- Autoref
- Eisbach
- pGCL
- ConfiChair
- QuickChick
- CoSMed
- Matrix Operations
- IsaFoL
- SL2SX
- Lifting
- Transfer
- Chapar
- CSimpl
- CoSP
- Tycon
- DPT
- Akra Bazzi
- Coinductive
- Cayley-Hamilton
- CAVA Automata Library
- Archive Formal Proofs
- CAVA
- BicolanoMT
- Berlekamp Zassenhaus
- Completeness theorem
- Arrow Gibbard Satterthwaite
- Edmonds-Karp
- Echelon Form
- Density Compiler
- Jinja Threads
- Jordan Normal Forms
- CAVA LTL Modelchecker
- Constructive Proof FLP
- Monomorphic Monad
- Logtk
- LLL Factorization
- Paraconsistency
- Psi-calculi
- NASA PVS
- Gabow SCC
- Social Choice Theory
- LTL_to_DRA
- Root Balanced Tree
- AWN
- Propositional Resolution
- Nested Multisets
- SAT Solver Verification
- Girth-Chromatic
- Launchbury
- LTL_to_GBA
- Superposition Calculus
- Tame Graphs
- Stone Algebras
- Real_Impl
- Zoo Probabilistic Systems
- Stable Matching
- Verified LLL
- Vector Spaces
- Landau Symbols
- ATOM
- Tree Automata
- Secondary Sylow
- DudeTM
- CLDC
- Mnemosyne
- Call_Arity
- AutoCorres
- Matrix_Tensor
- Program-Conflict-Analysis
- Naiad
- Sqrt_Babylonian
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- GraphQL
- FlowFox
- Boolean_Expression_Checkers
- MFMC_Countable
- Jacobson_Basic_Algebra
- Ordered_Resolution_Prover
- Saturation_Framework
- CoCon
- Mechanical Verification of a Constructive Proof for FLP
- Locales: a module system for mathematical theories
- A scalable module system
- Proof pearl: a probabilistic proof for the girth-chromatic number theorem
- The Isabelle Framework
- Certified quantum computation in Isabelle/HOL
- Transition_Systems_and_Automata
- A graph library for Isabelle
This page was built for software: Locales
