profile
viewpoint
Kaustuv Chaudhuri chaudhuri INRIA Paris, France https://chaudhuri.info Chargé de recherche

chaudhuri/profound 3

An experiment in formula linking as an interaction method

chaudhuri/sympli 2

A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)

chaudhuri/maetning 1

Disproving false theorems using saturation

chaudhuri/opam-repository 1

Package descriptions for OPAM

chaudhuri/proofcert-deskolemize 1

Deskolemization in the FPC framework

chaudhuri/abella 0

An interactive theorem prover based on lambda-tree syntax

chaudhuri/chaudhuri 0

Config files for my GitHub profile.

more