Conclusion#
That’s it, you’ve learned all there is to the Meson proof language!
You have learned:
The keywords, and the categories to which they belong
How to link nodes together using
inf
,sup
, andconj
keywordsHow to introduce modal nodes using
modal
keywordsHow to flow and roam using
flow
androam
keywordsHow to introduce a method node using a
how
keywordHow to introduce “special nodes” with
!
and?
That capitalization matters in node names
That punctuation and capitalization are otherwise free, and should be used (along with word and sentence structure variation) to improve human readability
![../../_images/Fancy1.png](../../_images/Fancy1.png)
A, so B, therefore C by D and E. Hence F, using G, so H.