Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
Developments can be viewed from the page of the
current version of CFML
Note that the development associated with Okasaki's book currently do not compile with the latest version of CFML.