Search results

Create the page "Main Page/title" on this wiki! See also the search results found.

• Main Page
  <div id="accueil_title">{{Main Page/title}}</div> <div align="right" class="main_page_frame_link">[[Template:Main Page/title|Edit]]</div>
  2 KB (194 words) - 09:48, 19 May 2020
• Rodin Workshop 2018
  '''THE PROGRAMME FOR THE WORKSHOP IS PUBLISHED ON THE MAIN CONFERENCE WEBSITE''' https://www.southampton.ac.uk/abz2018/participants/programme.page
  2 KB (356 words) - 12:46, 24 May 2018
• Scenarios for Merging Proofs
  This page is a first tentative to describe the scenario that a merge tool will have t ...e {{file|compname.bpr}} file contains not only the current proof (called ''main proof''), but also all the proof trees that were once used to prove the PO
  6 KB (1,046 words) - 10:34, 27 October 2011