1 search result for "author:"Yuting Wang""

  1. abella
    Documentation
    Interactive theorem prover based on lambda-tree syntax
    Andrew Gacek Yuting Wang Kaustuv Chaudhuri
    2.0.7
    GPL-3.0-only
    Used by 0 other packages
    29 Jan 2021