Commit 172c9e1a authored by POTTIER Francois's avatar POTTIER Francois

Post internship proposal.

parent 7d957809
......@@ -5,6 +5,11 @@ This page supplements
## Research internship proposals
We have posted the following proposals:
* [Verifying Chunked Sequences](,
co-advised by Arthur Charguéraud (Inria, Strasbourg) and François Pottier (Inria, Paris).
Please do not hesitate to talk to us during the break or
at the end of each lecture,
to contact us by email,
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment