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
- AVATAR
- Arrow Gibbard Satterthwaite
- Collections
- clock synchronization
- Density Compiler
- FOL Fitting
- Affine Arithmetic
- FORT
- Abstract Soundness
- Cauchy
- Incompleteness Theorems
- CAVA LTL Modelchecker
- Dictionary Construction
- Constructive Proof FLP
- ConfigChecker
- Logtk
- MadMax
- Data Refinement IBP
- Deutsch Schorr Waite
- LLL Factorization
- Firewall Builder
- 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
- Real_Impl
- Stable Matching
- 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
- Algebraic_VCs
- Binary Multirelations
- Count Complex Roots
- Huffman
- JRIF
- Kleene Algebra
- Linear Recurrences
- Network Security Policy Verification
- Program-Conflict-Analysis
- Relation Algebra
- Sqrt_Babylonian
- Sturm-Tarski Theorem
- Special_Function_Bounds
- Tarskis_Geometry
- Winding_Number_Eval
- Vickrey_Clarke_Groves
This page was built for software: Archive Formal Proofs
