https://mathstodon.xyz
for the #math folk.
I know they would like #mathjax support as GitHub now has, and you can see some example for the says logic:
https://github.com/co-operating-systems/PhD/blob/main/Logic/ABLP.md#deepak-gargs-2009-bl-logic
bblfish on Nostr: I meant to link to the #Mastodon instance for the #math folk. I know they would like ...
I meant to link to the #Mastodon instance
https://mathstodon.xyz
for the #math folk.
I know they would like #mathjax support as GitHub now has, and you can see some example for the says logic:
https://github.com/co-operating-systems/PhD/blob/main/Logic/ABLP.md#deepak-gargs-2009-bl-logic
https://mathstodon.xyz
for the #math folk.
I know they would like #mathjax support as GitHub now has, and you can see some example for the says logic:
https://github.com/co-operating-systems/PhD/blob/main/Logic/ABLP.md#deepak-gargs-2009-bl-logic