lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

61
active users

#mathproving

0 posts0 participants0 posts today
Atexjam<p><span>youtube.com/</span><a href="https://calckey.social/@pagene" class="u-url mention" rel="nofollow noopener" target="_blank">@pagene</a><span>#PaigeRandallNorth<br>good resource for </span><a href="https://calckey.social/tags/mathbasics" rel="nofollow noopener" target="_blank">#mathbasics</a><span> and touch of </span><a href="https://calckey.social/tags/lean" rel="nofollow noopener" target="_blank">#lean</a><span> </span><a href="https://calckey.social/tags/leantheoremprover" rel="nofollow noopener" target="_blank">#leantheoremprover</a><span> </span><a href="https://calckey.social/tags/proofs" rel="nofollow noopener" target="_blank">#proofs</a><span> </span><a href="https://calckey.social/tags/mathproof" rel="nofollow noopener" target="_blank">#mathproof</a><span> </span><a href="https://calckey.social/tags/mathproving" rel="nofollow noopener" target="_blank">#mathproving</a></p>