This is your work, valued

Paris, France

Pierre Senellart

Advanced
@PierreSenellart

Pierre Senellart is a Professor in the Computer Science Department at the École normale supérieure (ENS) in Paris, France, and head of the @INRIA Valda team.

pierre.senellart.com/

provsql. Adding support for provenance and uncertainty management to PostgreSQL databases

70

apxproof. LaTeX package for automatically putting proof environments in appendix

34

erc-latex-template. LaTeX template for ERC proposals

31

theoremkb. Collection of tools to extract semantic information from (mathematical) research articles

24

provenance-lean. Lean4 formalization of some provenance notions

10

pdf-enrichment. Tool to automatically enrich PDF of research articles with additional information (hyperlinks, metadata, etc.)

6

lsg. Large sparse graph library

1