I see the notation you used in your post. Can you point me to a standard notation that a futuristic proof assistant should be using? Or have you covered it here? Thanks 😀
I see the notation you used in your post. Can you point me to a standard notation that a futuristic proof assistant should be using? Or have you covered it here? Thanks 😀