Anshar
@anshari2023.bsky.social
Autistic-Asperger young exploring this interesting social media. /joven Autista-Asperger explorando esta interesante red social
Reposted by Anshar
Reposted by Anshar
Reposted by Anshar
After 200 days, we finally have 100% completion on the primary goal of the Equational Theories Project to formally resolve >22 million implications between 4694 equational laws, using modern proof assistants, collaboration platforms, and automated theorem provers. teorth.github.io/equational_t...
April 14, 2025 at 5:06 PM
After 200 days, we finally have 100% completion on the primary goal of the Equational Theories Project to formally resolve >22 million implications between 4694 equational laws, using modern proof assistants, collaboration platforms, and automated theorem provers. teorth.github.io/equational_t...
@tahmohpenikett.bsky.social Welcome to this wonderful social media, Tahmoh. It is me, your good friend and fan.😎😎😎👍🏻👍🏻👍🏻👍🏻👍🏻💯💯💯💯💯💯💯
March 19, 2025 at 4:41 AM
@tahmohpenikett.bsky.social Welcome to this wonderful social media, Tahmoh. It is me, your good friend and fan.😎😎😎👍🏻👍🏻👍🏻👍🏻👍🏻💯💯💯💯💯💯💯
Reposted by Anshar
Take a white bunny for your future miracle, Lorraine:
March 4, 2025 at 7:09 AM
Take a white bunny for your future miracle, Lorraine:
Reposted by Anshar
Amen.
The good time will come…!
January 26, 2025 at 5:26 PM
Amen.
Reposted by Anshar
On my way to the
shops one day, I came upon this:
shops one day, I came upon this:
September 7, 2023 at 6:30 AM
On my way to the
shops one day, I came upon this:
shops one day, I came upon this:
Reposted by Anshar
Reposted by Anshar
Congratulations! And as the bible says in Corinthians 13:
January 26, 2025 at 5:00 PM
Congratulations! And as the bible says in Corinthians 13: