Autoref
From MaRDI portal
swMATH12809MaRDI QIDQ24733FDOQ24733
Author name not available (Why is that?)
Official website: https://www21.in.tum.de/~lammich/autoref/
Cited In (77)
- Transition_Systems_and_Automata
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem
- Refinement to imperative HOL
- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
- Efficient verified (UN)SAT certificate checking
- CryptHOL: game-based proofs in higher-order logic
- A verified ODE solver and the Lorenz attractor
- A verified SAT solver framework with learn, forget, restart, and incrementality
- Quotients of Bounded Natural Functors
- Title not available (Why is that?)
- versat
- Coq/SSReflect
- EasyCrypt
- FIREMAN
- Firmato
- Locales
- Eisbach
- NetCore
- pGCL
- libclang
- MLton
- Title not available (Why is that?)
- IsaFoL
- Lifting
- Fiat
- Transfer
- GRAT
- CoSP
- F*
- DPT
- CAVA Automata Library
- CAVA
- CryptHOL
- Edmonds-Karp
- Gauss-Jordan
- Affine Arithmetic
- Gauss Jordan Elimination
- Lp spaces
- CAVA LTL Modelchecker
- Dictionary Construction
- Monomorphic Monad
- ConfigChecker
- Firewall Builder
- Refinement Monadic
- IP Addresses
- Iptables Semantics
- Gabow SCC
- LTL_to_DRA
- LOFT
- Ordinals Cardinals
- Simple Firewall
- Routing
- Imperative Refinement
- Knuth Morris Pratt
- LTL_to_GBA
- Rank Nullity
- Real_Impl
- Zoo Probabilistic Systems
- UPF Firewall
- Tree Automata
- IEEE_Floating_Point
- Program-Conflict-Analysis
- Regex_Equivalence
- Formalization and execution of linear algebra: from theorems to algorithms
- nftables
- iptables
- Boolean_Expression_Checkers
- Game_Based_Crypto
- MFMC_Countable
- Probabilistic_While
- From LCF to Isabelle/HOL
- Title not available (Why is that?)
- Probabilistic functions and cryptographic oracles in higher order logic
- Verified iptables firewall analysis and verification
- Formally verified certificate checkers for hardest-to-round computation
- Automatic refinement to efficient data structures: a comparison of two approaches
- Cubical Agda
This page was built for software: Autoref
