2 search results for "author:"Kaustuv Chaudhuri""

Showing 1 - 2
  1. Interactive theorem prover based on lambda-tree syntax
    2.0.8
    GPL-3.0-only
    Used by 0 other packages
    01 Nov 2023
  2. Collection of thin bindings to various low-level system API
    0.4.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    13 Aug 2024