back to root

back to Matryoshka

System description

• Petar Vukmirovic

  2020-06-16 15:18:0 (GMT)

  I think it is about the time we (re)start the discussion about writing the system description for Zipperposition 2 :slight_smile:

• Petar Vukmirovic

  2020-06-16 15:18:21 (GMT)

  I think this is the right point to write about what has been done so far

• Jasmin Blanchette

  2020-06-16 15:26:51 (GMT)

  As a likely reader, may I have a feature request? Namely, you're surely going to have more to say than the $n \le 10$ pages the conference will give you. I mean, just with all the cool proofs posted on Zulip, you'd end up with more than 10 pages. So please do a tech report version as well, which you can then also submit to a journal if you want or at least cite from the system description.

• Simon Cruanes

  2020-06-16 15:27:31 (GMT)

  And put the proofs in there!!

• Jasmin Blanchette

  2020-06-18 8:39:42 (GMT)

  Another feature request: A link to an up-to-date description of the proof rules. If such a description already exists, I'm interested in a link. :)