1 search result for "author:"Andrew Gacek""

Showing 1 - 1
  1. Interactive theorem prover based on lambda-tree syntax
    2.0.8
    GPL-3.0-only
    Used by 0 other packages
    01 Nov 2023