search

expln / metamath-lamp

Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
https://expln.github.io/lamp/latest/index.html
MIT License
13 stars 5 forks source link

Remove guide, as it's now separate #66

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

We no longer need these files in "docs/" as they've been moved to their own repository.

You can view the guide here: https://lamp-guide.metamath.org/

You can propose issues or pull requests for the guide here: https://github.com/expln/metamath-lamp

expln commented 1 year ago

Thank you.