Arthur Correnson

icon indicating a website link https://acorrenson.github.io/ icon indicating an email [email protected]

icon company CISPA Helmholtz Center for Information Security icon location Saarbrücken icon location PhD candidate at CISPA. Working on formally verified formal methods.

Results 2 issues of Arthur Correnson

Create FmcToCoq.js

Hi all 👋 , I started to work on a Core to Coq compiler. This is purely experimental but I thought it could be nice to be able to translate...

Add icon for why3 files

[Why3](http://why3.lri.fr/) files are not yet supported by the material icon theme. I added icons for why3 files (for both dark and light themes).