Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
3 ms
·
Proving ( A → ( B → C)) → ( A ∧ B → C) in Lean
3 points
by
bamborde_zaiku
3y ago