Discussions

• 1 You must be logged in to vote

  💬

  A discussion on Lean Zulip

  phlegmaticprogrammer started Jul 31, 2021 in General

  

  

  0
• 2 You must be logged in to vote

  💬

  First-order vs. Higher-order

  phlegmaticprogrammer started Jul 30, 2021 in General

  

  

  0