Commit b73df5d1 authored by Martin Clochard's avatar Martin Clochard

update proof sessions

parent ba004b74
......@@ -23,7 +23,6 @@ queens.mlw
random_access_list.mlw
residual.mlw
rightmostbittrick.mlw
sieve.mlw
sudoku.mlw
sum_of_digits.mlw
topological_sorting.mlw
......
This diff is collapsed.
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