How to use the “THE” syntax in Isabelle/HOL?

后端未结

关注

 0  673

I am trying to learn how to use the THE syntax in Isabelle/HOL (2020). In the tutorial main.pdf, there is:

The basic logic: x = y, True, False, ¬


                      
              相关标签: