Skip to main content

Browse the archive

Raw File
AUTHORS.md 
This code was primarily written by Karthikeyan Bhargavan (INRIA) and Marina Polubelova (INRIA)
An earlier version was written by Jean Karim Zinzindohoue (INRIA).
back to top