💾 Archived View for gemlog.blue › users › ml › 1598979973.gmi captured on 2023-01-29 at 18:07:53. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2020-09-24)
-=-=-=-=-=-=-
Sardonyx 2020-08-24 - Sites I Want On Gemini
Sardonyx's above post has a good list of sites that it would be nice to have on Gemini [StackExchange, Read the Docs, IETF RFCs, Github, Wikia, and Dan Luu's blog (which I hadn't heard about before)]. Here's one site that I'd like to see on Gemini:
An important interest of mine is metamath. The Metamath Proof Explorer is a large body of completely rigorous computer-verified mathematical proofs, starting from the axioms of set theory and building up from there.
Maybe I'll find the time and energy to host it on Gemini myself one day, though the probability that I actually will is unfortunately kind of low.
Metamath Proof Explorer Table of Contents
I've actually contributed a very small number proofs to it, here's the most recent one from a month ago, proving that the lower limit topology on the reals is strictly finer than the standard topology:
relowlpssretop - Mathbox for ML
2020-09-01 by ML
tag: gemini
tag: metamath
tag: md