Skip to main content
edited body
Source Link
amWhy
  • 210.7k
  • 2
  • 38
  • 57

Congrats, @Nike! I got my invite to the private beta Proof AssistanceAssistants. It's clearly implemented. Good work!

Congrats, @Nike! I got my invite to the private beta Proof Assistance. It's clearly implemented. Good work!

Congrats, @Nike! I got my invite to the private beta Proof Assistants. It's clearly implemented. Good work!

Source Link
amWhy
  • 210.7k
  • 2
  • 38
  • 57

Congrats, @Nike! I got my invite to the private beta Proof Assistance. It's clearly implemented. Good work!