Skip to content

Instantly share code, notes, and snippets.

@pqnelson

pqnelson/README.md

Last active November 11, 2024 16:27
Show Gist options
  • Save pqnelson/70353abecd1f00c2f3e6b40e58b24c4c to your computer and use it in GitHub Desktop.
Save pqnelson/70353abecd1f00c2f3e6b40e58b24c4c to your computer and use it in GitHub Desktop.
Download ZIP
Mizar 8.1.14 Math Library's order of reading articles
Raw
README.md

As I understand it, Mizar uses the mml.lar file to read in the articles of the Mizar Mathematical Library in the specific order found in that file.

If you want to read the Mizar mathematical library's articles, it makes sense to study them in the order found in the mml.lar file.

I have linked to the article's abstracts found on Mizar's website.

Raw
mml-lar.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment