🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
11:35
(UTC +01:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://orcid.org/0000-0002-4328-6753
Lists (2)
Sort Name ascending (A-Z)
Stars
6
stars
written in JavaScript
Clear filter
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
A web-based collaborative LaTeX editor
Browser extension that automatically fills out cookie popups based on your preferences
A collection of Obsidian.md scripts which include Tag & Page Clouds, Table of Contents / ToC, Bad / Missing Link reporting, etc.
Obsidian custom scripts, templates and workflows developed for myself. Take whatever you need.
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]