Added total correctness to readme

Author: alejandroag

theories/eris/tutorial/readme.md

@@ -73,6 +73,7 @@ The tutorial will feature a mix of lectures from the organizers and exercises. T
 2. [quicksort.v](./quicksort.v): correctness of randomized quicksort.
 3. [geometric.v](./geometric.v): sampling from the geometric distribution.
 4. [hash_interface.v](./hash_interface.v), [bloom_filter_single.v](./bloom_filter_single.v): Bloom filters based on hash functions. Bound on probability of false positives.
+5. [geometric_total.v](./geometric_total.v): reasoning about total correctness and almost sure termination of geometric samplers.
 
 
 # Contact information