Arthur Correnson

French Computer Science student.
I love programming languages theory, solvers and mechanized proofs

[Arthur Correnson @ArthurCorrenson]

This month I completed the #Hacktoberfest challenge. It's not too late to leave your mark! Click below to get started: https://t.co/RdFsLKXcQf

[Arthur Correnson @ArthurCorrenson]

@JulieAJClement @ThomasBataillon Ça m'intéresse carrément, si vous avez besoin de main d'oeuvre pour lancer un projet !

[Arthur Correnson @ArthurCorrenson]

this is really good software !

[SeqAn @SeqAnLib]

| SeqAn-3.0.0 is out!
| Rewrite of SeqAn in Modern C++
| Cooperation with the SDSL library
| Announcement: https://t.co/0HXqwZsepE
| GitHub: https://t.co/ghGx7hAjM0
| Doc: https://t.co/92HDoQ1EOW
| #bioinformatics #cplusplus
| Happy hacking and please share the news!

[Arthur Correnson @ArthurCorrenson]

@SeqAnLib YOU JUST SAVE ME ! <3

[Arthur Correnson @ArthurCorrenson]

@FerryDanini Ah quand même...