1 search result for "author:"Jasmin Blanchette""

Showing 1 - 1
  1. nunchaku

    No documentation

    A counter-example finder for higher-order logic, designed to be used from various proof assistants
    Simon Cruanes Jasmin Blanchette
    0.6
    Used by 0 other packages
    24 Oct 2018