Kaustuv Chaudhuri (@chaudhuri)
github

chaudhuri

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 18
  • Registered almost 14 years ago
  • Most used languages
    OCaml
         25.0 %
    AMPL     25.0 %
    Standard ML     25.0 %
    OpenEdge ABL     25.0 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 26,332
  • Country Ranking
    Standard ML     9
    OpenEdge ABL     14
    AMPL     16
    OCaml
         209

Top repositories

1

profound

An experiment in formula linking as an interaction method
OCaml
3
star
2

sympli

A propositional linear inverse method theorem prover (written in 2003-2004, very lightly maintained)
Standard ML
1
star
3

proofcert-deskolemize

Deskolemization in the FPC framework
AMPL
1
star
4

maetning

Disproving false theorems using saturation
OpenEdge ABL
1
star