From LCF to Isabelle/HOL (Q2280211): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickCheck
@@ Property / describes a project that uses: QuickCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metis_
@@ Property / describes a project that uses: Metis_ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Proof General
@@ Property / describes a project that uses: Proof General / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CeTA
@@ Property / describes a project that uses: CeTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/PIDE
@@ Property / describes a project that uses: Isabelle/PIDE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CakeML
@@ Property / describes a project that uses: CakeML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Locales
@@ Property / describes a project that uses: Locales / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eisbach
@@ Property / describes a project that uses: Eisbach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QuickChick
@@ Property / describes a project that uses: QuickChick / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Berlekamp Zassenhaus
@@ Property / describes a project that uses: Berlekamp Zassenhaus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CAVA LTL Modelchecker
@@ Property / describes a project that uses: CAVA LTL Modelchecker / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gabow SCC
@@ Property / describes a project that uses: Gabow SCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kodkod
@@ Property / describes a project that uses: Kodkod / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2971627214
@@ Property / OpenAlex ID: W2971627214 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02836
@@ Property / arXiv ID: 1907.02836 / rank @@
+Normal rank