Reflections on Trusting Lean

1 points | by bananaflag an hour ago