Reflections on Trusting Lean

1 points | by bananaflag 9 hours ago