ProofViz: an interactive visual proof explorer (Q832103): Difference between revisions

@@ Property / cites work @@
+HACL*
@@ Property / cites work: HACL* / rank @@
+Normal rank
@@ Property / cites work @@
+Type systems as macros
@@ Property / cites work: Type systems as macros / rank @@
+Normal rank
@@ Property / cites work @@
+Functionality in Combinatory Logic
@@ Property / cites work: Functionality in Combinatory Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive families
@@ Property / cites work: Inductive families / rank @@
+Normal rank
@@ Property / cites work @@
+Traf: a graphical proof tree viewer cooperating with Coq through Proof General
+Normal rank
@@ Property / cites work @@
+Q4736975
@@ Property / cites work: Q4736975 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HACL*
@@ Property / describes a project that uses: HACL* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOUI
@@ Property / describes a project that uses: LOUI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-83978-9_6
+Normal rank
@@ Property / OpenAlex ID @@
+W3195045086
@@ Property / OpenAlex ID: W3195045086 / rank @@
+Normal rank