🐧
Ph.D. student in computer science, working on program verification and formal methods
-
CEA List
- Paris, France
-
05:54
(UTC +02:00) - https://www.normalesup.org/~dlesbre/
- in/dorian-lesbre-78a002122
- https://git.eleves.ens.fr/dlesbre
- https://git.frama-c.com/dlesbre
- https://gitlab.mpi-sws.org/dlesbre
Block or Report
Block or report dlesbre
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.