Found 3 Documents (Results 1–3)
Labelings for decreasing diagrams. (English) Zbl 1315.68226
MSC:
68T15
68Q42
Filter Results by …
all
top 5
Author
- Boldo, Sylvie (1)
- Felgenhauer, Bertram (1)
- Foster, Simon (1)
- Jourdan, Jacques-Henri (1)
- Leroy, Xavier (1)
- Melquiond, Guillaume (1)
- Middeldorp, Aart (1)
- Struth, Georg (1)
- Zankl, Harald (1)
all
top 3
Software
- Archive Formal Proofs (2)
- ACL2 (1)
- ASTREE (1)
- CSI (1)
- CompCert (1)
- Coq (1)
- Decreasing Diagrams (1)
- Flocq (1)
- Isabelle/HOL (1)
- Kleene Algebra (1)
- LEO-II (1)
- Lifting (1)
- Myhill-Nerode (1)
- Nitpick (1)
- Regex_Equivalence (1)
- Regular_Algebras (1)
- Sledgehammer (1)
- Transfer (1)