leonducruet's repositories
Exceptional-Actris
An extention for Actris allowing message-dropping.
Language:Coq000
Formal-proofs-for-the-convergence-of-visibility-walks-in-triangulations
More proofs on visibility walks in triangulations.
Language:Coq000
leonducruet
Config files for my GitHub profile.
000