Keep working on disconnect from network

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

11 stars 4 forks source link

Keep working on disconnect from network #161

Open david-a-wheeler opened 10 months ago

david-a-wheeler commented 10 months ago

After viewing the metamath-lamp page and downloading the mm database (set.mm), I often end up disconnected (especially on my phone, but also sometimes my laptop).

It'd be nice if metamath-lamp kept working during a disconnect, as long as the app and relevant database(s) were downloaded.

expln commented 10 months ago

I tested this situation and metamath-lamp kept working for me. Do you see any error after a disconnect? Or any functionality stops working? As I know, metamath-lamp keeps working after a disconnect until you refresh the page.