The Vermilion Experiment: Implementing a Lean Back End for Verus(proofsandintuitions.net)
2 pointsby matt_d5 hours ago1 comment