The Vermilion Experiment: Implementing a Lean Back End for Verus (proofsandintuitions.net) 1 points by matt_d 10d ago ↗ HN
1 comment
[ 0.19 ms ] story [ 25.9 ms ] thread