Eisbach: a proof method language for Isabelle (Q287365): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6585634
@@ Property / zbMATH DE Number: 6585634 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Isabelle
@@ Property / zbMATH Keywords: Isabelle / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Eisbach
@@ Property / zbMATH Keywords: Eisbach / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof automation
@@ Property / zbMATH Keywords: proof automation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+seL4
@@ Property / zbMATH Keywords: seL4 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+l4.verified
@@ Property / zbMATH Keywords: l4.verified / rank @@
+Normal rank

Revision as of 19:57, 27 June 2023