swMATH28613MaRDI QIDQ40327FDOQ40327
Author name not available (Why is that?)
Official website: https://www.isa-afp.org
Cited In (only showing first 100 items - show all)
- Matrix Operations
- Akra Bazzi
- Algebraic Numbers
- Amortized Complexity
- BicolanoMT
- Berlekamp Zassenhaus
- AVATAR
- Calife
- Arrow Gibbard Satterthwaite
- Collections
- clock synchronization
- Density Compiler
- FOL Fitting
- Affine Arithmetic
- Gauss Jordan Elimination
- FORT
- Abstract Soundness
- Cauchy
- Incompleteness Theorems
- Logic2CNF
- CAVA LTL Modelchecker
- Dictionary Construction
- Constructive Proof FLP
- ConfigChecker
- Logtk
- MadMax
- Data Refinement IBP
- Deutsch Schorr Waite
- LLL Factorization
- Firewall Builder
- Perron Frobenius
- POSIX Lexing
- Presburger Automata
- IP Addresses
- Iptables Semantics
- Haskell Show Class
- Lambda Free RPOs
- Proofwatch
- Incredible Proof Machine
- QuickSort Cost
- Free Groups
- Gabow SCC
- Random BSTs
- Social Choice Theory
- LTL_to_DRA
- LOFT
- Root Balanced Tree
- Jinja not Java
- Schneider clock synchronization
- Ordinary Differential Equations
- DEMO
- Regular Sets
- AWN
- Propositional Resolution
- Nested Multisets
- Native Word
- Ordinals Cardinals
- Simple Firewall
- SAT Solver Verification
- Routing
- DiskPaxos
- Girth-Chromatic
- Meddly
- Imperative Refinement
- Knuth Morris Pratt
- Light-weight Containers
- Launchbury
- LTL_to_GBA
- SMCDEL
- Decreasing Diagrams II
- Rank Nullity
- Stone Kleene
- Stone Algebras
- Real_Impl
- Stable Matching
- Well Quasi Orders
- Treaps
- VerifyThis
- Verified LLL
- Vector Spaces
- Landau Symbols
- TAME
- Maximum Cardinality Matching
- UPF Firewall
- Verified Prover
- Tree Automata
- Xml
- Robbins Conjecture
- Secondary Sylow
- CLDC
- Worker/Wrapper Transformation
- Montre
- VeriPhy
- ProofPeer
- Dynamic Architectures
- FACTum
- Isabelle/DOF
- Regexp
- JRIF
- Linear Recurrences
This page was built for software: Archive Formal Proofs
