top | item 44965926 (no title) golol | 6 months ago Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool. discuss order hn newest No comments yet.
No comments yet.