Proof script pragmatics in IMPS (Q5210784): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IMPS
@@ Property / describes a project that uses: IMPS / 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/3-540-58156-1_25
+Normal rank
@@ Property / OpenAlex ID @@
+W2097817507
@@ Property / OpenAlex ID: W2097817507 / rank @@
+Normal rank
@@ Property / cites work @@
+IMPS: An updated system description
@@ Property / cites work: IMPS: An updated system description / rank @@
+Normal rank
@@ Property / cites work @@
+IMPS: An interactive mathematical proof system
@@ Property / cites work: IMPS: An interactive mathematical proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2914641
@@ Property / cites work: Q2914641 / rank @@
+Normal rank