naproche.github.io
Preview meta tags from the naproche.github.io website.
Linked Hostnames
2General Meta Tags
3- titleNaproche
- charsetUTF-8
- viewportwidth=device-width, initial-scale=1
Open Graph Meta Tags
1- descriptionNaproche proof assistant home page
Link Tags
1- iconfavicon.png
Links
4- https://en.wikipedia.org/wiki/Automated_theorem_proving
- https://en.wikipedia.org/wiki/Controlled_natural_language
- https://en.wikipedia.org/wiki/Proof_assistant
- https://www.latex-project.org