Kaustuv Chaudhuri

@chaudhuri

Open GitHub

🇫🇷 Paris, France

Inria

Profile age: almost 15 years

Updated 6 days ago

19 followers • 1 following

Contacts

kaustuv@chaudhuri.info

https://chaudhuri.info

Organizations

Repositories

maetning

updated over 8 years ago • age almost 11 years

OpenEdge ABL87.6%

OCaml12.1%

Python0.2%

proofcert-deskolemize

updated almost 7 years ago • age over 7 years

AMPL49.1%

Coq34.1%

Standard ML15.4%

Makefile1.5%

Contributions

2023
opam-repository
1 PR +32-0
555
1,207
w3proof-dispatch
1 PR +9-9
JavaScript
2
0
dispatch
3 PRs +2,780-11,100
TypeScript
0
2
2022
w3proof-dispatch
1 PR +12-2,366,358
JavaScript
2
0
2021
opam-repository
1 PR +28-0
555
1,207
2019
opam-repository
1 PR +27-0
555
1,207
2017
opam-repository
1 PR +149-0
555
1,207
proving_theorem
1 PR +43-21
TeX
0
0
2016
opam-repository
1 PR +145-0
555
1,207
abella-reasoning
2 PRs +567-62
TeX
3
1