see also the index (by topic, by tool, by reference, by year)
Raphaël Rieu-Helft
- An Efficient Arbitrary-Precision Integer Library
- VerifyThis 2017: Odd-even transposition sort (alt)
- VerifyThis 2018: Array-based queuing lock (alt)
- VerifyThis 2018: le rouge et le noir
- VerifyThis 2018: mind the gap (alt)
see also the index (by topic, by tool, by reference, by year)