More complete acknowledgement.
Showing with 1 addition and 1 deletion
|...||...||@@ -2497,7 +2497,7 @@ was generously funded by Jane Street Capital, LLC through the ``OCaml Summer|
|Frédéric Bour provided motivation and an initial implementation for the|
|incremental API and inspection API.|
|Jacques-Henri Jourdan designed and implemented the Coq back-end and did the|
|Coq proofs that come with it.|