2 search results for "author:"Kaustuv Chaudhuri""
Showing 1 - 2
-
Interactive theorem prover based on lambda-tree syntax2.0.8GPL-3.0-onlyUsed by 0 other packages01 Nov 2023
-
Collection of thin bindings to various low-level system API0.4.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages20 Jun 2022